Net Language Research Articles

Partial Petri Net Languages and their Properties

Partial Petri Net Languages and their Properties

Research on Secondary Development Method based on Haochen CAD

This article explores the methods and techniques of using Haochen CAD for secondary development in the fields of engineering design and drawing. By studying the secondary development method of Haochen CAD, the customizability and scalability of the software can be improved to meet specific design requirements in different industries and needs. Emphasis was placed on exploring the technical means of secondary development, including Object ARX, VB, and C # NET and other different programming languages and interfaces, and analyzed specific application cases of secondary development in engineering design.

Exploiting Emotions via Composite Pretrained Embedding and Ensemble Language Model

Decisions in the modern era are based on more than just the available data; they also incorporate feedback from online sources. Processing reviews known as Sentiment analysis (SA) or Emotion analysis. Understanding the user's perspective and routines is crucial now-a-days for multiple reasons. It is used by both businesses and governments to make strategic decisions. Various architectural and vector embedding strategies have been developed for SA processing. Accurate representation of text is crucial for automatic SA. Due to the large number of languages spoken and written, polysemy and syntactic or semantic issues were common. To get around these problems, we developed effective composite embedding (ECE), a method that combines the advantages of vector embedding techniques that are either context-independent (like glove & fasttext) or context-aware (like XLNet) to effectively represent the features needed for processing. To improve the performace towards emotion or sentiment we proposed stacked ensemble model of deep lanugae models.ECE with Ensembled model is evaluated on balanced dataset to prove that it is a reliable embedding technique and a generalised model for SA.In order to evaluate ECE, cutting-edge ML and Deep net language models are deployed and comapared. The model is evaluated using benchmark datset such as MR, Kindle along with realtime tweet dataset of user complaints . LIME is used to verify the model's predictions and to provide statistical results for sentence.The model with ECE embedding provides state-of-art results with real time dataset as well.

Understanding the multi-modal affective expression of net language in computer-mediated communication.

The fast development of technology and the popularity and prevalence of social media are constantly changing people's way of living especially their communication patterns. Computer-mediated communication facilitates human contact. Meanwhile, net language becomes widely accepted by computer-mediated communicators. Originating from the text-based form, net language evolves into a multi-modal physical form with a combination of texts, symbols, emojis, pictures and other forms of messages. The multi-modality of net language gives rise to difficulties for hearers or readers of the computer-mediated communication to understand the hidden message due to the ambiguous and polysemic nature of symbols. To clarify hearer's understanding and ensure the smooth conduct of computer-mediated communication, the conceptual blending theory will be useful in processing the multi-modal net language. With a four-space network and three operation mechanism, the emergent meaning will be constructed.

Effects of Social Media on Students’ Writing: The Case Study of Mount Mary College of Education

The study aimed to determine the impact of social media language (also known as net language) on the formal writing skills of Mount Mary College of Education students. This study involved a total of 150 students, 60 of whom were males and 90 of whom were females, who were studying English language and French at the time of the study. The study employed a phenological research design, and a purposive sample technique was used to choose the thirty (30) participants that took part in it. The responses were mark quiz papers and group tasks, and the results were analysed. The study concluded that when people write individually, social media does have an impact on their formal writing. Students who work in groups, on the other hand, are not affected by this. Another finding of the survey was that respondents employ a wide range of social media lingo, including clipping, abbreviation, alphanumeric homophony, vowel deletion, graphone, and other slang terms, among other things. According to the results of the survey, most people type in social media or internet language when they communicate on social media to make it easier for them to communicate.

Implementasi Algoritma Caesar Chiper dan Rail Fence untuk Peningkatan Keamanan Teks Berbasis Client Server

SMK Negeri 3 Bengkulu City is one of the vocational schools in Bengkulu City. The school has a major in Computer and Network Engineering (TKJ). Students will be taught about basic knowledge in computers, network infrastructure, network security and others. Cryptography is part of a security system, where cryptography is the science and art of keeping messages secure. Increased security in the form of an encryption process that is carried out through 2 stages before getting the encryption results, namely encryption using the Caesar Cipher Algorithm and then being encrypted again using the Rail Fence Algorithm. To assist the text security system at SMK Negeri 3 Bengkulu City, a client server-based application was built using the Visual Basic .Net programming language with SQL Server database. In its application, one laptop will be used as a database server, so that the results of inputting text that will be sent to the recipient are automatically stored on the server. While the client only accesses the form of sending and receiving messages through the application that has been provided. If you enter an incorrect or incorrect key, then the plaintext cannot be changed to its original form so that the text message cannot be read

Penerapan Metode Vikor dalam Penilaian Objek Wisata kota Bengkulu

The Tourism Office of Bengkulu Province is a government agency engaged in tourism, especially Bengkulu Province which supports activities related to tourism activities such as recording tourist objects, evaluating tourism objects and introducing tourism objects to tourists. All this time, the evaluation process for tourism objects has not been carried out optimally, therefore it cannot be known with certainty which tourism objects need to be addressed and which need to be improved. This is because the evaluation carried out is only limited to collecting data on tourism objects. The implementation of the Vikor Method in the assessment of tourism objects in Bengkulu City is done by building an application that can identify the results of the application of the Vikor method using the Visual Basic .Net programming language and SQL Server 2008r2 database. There are 11 (eleven) criteria used in the assessment of tourism objects attractions in Bengkulu City, namely natural beauty, coolness, cleanliness, security, entertainment, shopping, health services, communication networks, power sources, transportation, tour guides. The assessment was carried out on 6 tourist objects, namely Fort Malborough, Soekarno's House, Fatmawati's House, Bengkulu Museum, Panjang Beach and Dendam Tak Sudah Lake by assigning a value to 11 predetermined criteria. From the results of the assessment, it will be reprocessed into the Vikor Method to find out which tourism objects has the lowest Vikor index value sorted by rank. Based on the results of the Black Box Method testing on the tourism objects assessment application in Bengkulu City, it can be concluded that the functionality of the application has been running properly and is able to display the final results of the assessment based on the Vikor Method

Coverability, Termination, and Finiteness in Recursive Petri Nets

In the early two-thousands, Recursive Petri nets have been introduced in order to model distributed planning of multi-agent systems for which counters and recursivity were necessary. Although Recursive Petri nets strictly extend Petri nets and context-free grammars, most of the usual problems (reachability, coverability, finiteness, boundedness and termination) were known to be solvable by using non-primitive recursive algorithms. For almost all other extended Petri nets models containing a stack, the complexity of coverability and termination are unknown or strictly larger than EXPSPACE. In contrast, we establish here that for Recursive Petri nets, the coverability, termination, boundedness and finiteness problems are EXPSPACE-complete as for Petri nets. From an expressiveness point of view, we show that coverability languages of Recursive Petri nets strictly include the union of coverability languages of Petri nets and context-free languages. Thus we get a more powerful model than Petri net for free.

Sistem Informasi Rekam Medis Puskesmas Kotaratu Berbasis Desktop

The administrative process at Kotaratu health center still uses manual means. So, it takes a long time in handling patient visits and making reports. The goal of the study was to build a desktop-based medical record information system using the Microsoft Visual Basic. Net Programming Language and MySQL as its database. Data collection techniques through interviews, observations and literature studies. Meanwhile, to develop software (system) with waterfall method, while testing uses blackbox-testing. Our findings are in the form of a desktop-based information system at Kotaratu health center. Furthermore, Blackbox-testing results show that all components in this system are running well, and all medical record data is stored in the database to provide a convenience in managing patient data, searching for medical records, managing medical records and making reports periodically.

Some Possibilities of Modeling Colored Petri Nets

Petri nets are a mathematical apparatus for modelling dynamic discrete systems. Their feature is the ability to display parallelism, asynchrony and hierarchy. First was described by Karl Petri in 1962 [1,2,8]. The Petri net is a bipartite oriented graph consisting of two types of vertices - positions and transitions connected by arcs between each other; vertices of the same type cannot be directly connected. Positions can be placed by tags (markers) that can move around the network. [2] Petri Nets (PN) used for modelling real systems is sometimes referred to as Condition/Events nets. Places identify the conditions of the parts of the system (working, idling, queuing, and failing), and transitions describe the passage from one state to another (end of a task, failure, repair...). An event occurs (a transition fire) when all the conditions are satisfied (input places are marked) and give concession to the event. The occurrence of the event entirely or partially modifies the status of the conditions (marking). The number of tokens in a place can be used to identify the number of resources lying in the condition denoted by that place [1,2,8]. Coloured Petri nets (CPN) is a graphical oriented language for design, specification, simulation and verification of systems [3-6,9,15]. It is in particular well-suited for systems that consist of several processes which communicate and synchronize. Typical examples of application areas are communication protocols, distributed systems, automated production systems, workflow analysis and VLSI chips. In the Classical Petri Net, tokens do not differ; we can say that they are colourless. Unlike standard Petri nets in Colored Petri Net of a position can contain tokens of arbitrary complexity, such as lists, etc., that enables modelling to be more reliable. The article is devoted to the study of the possibilities of modelling Colored Petri nets. The article discusses the interrelation of languages of the Colored Petri nets and traditional formal languages. The Venn diagram, which the author has modified, shows the relationship between the languages of the Colored Petri nets and some traditional languages. The language class of the Colored Petri nets includes a whole class of Context-free languages and some other classes. The paper shows modelling the task synchronization Patil using Colored Petri net, which can't be modeled using well- known operations P and V or by classical Petri network, since the operations P and V and classical Petri networks have limited mathematical properties which do not allow to model the mechanisms in which the process should be synchronized with the optimal allocation of resources.

Set difference operation for regular Petri net languages for the producer/consumer problem with the bounded buffer

We consider a Petri net for the producer/consumer problem (one of the classical synchronization problems) with the bounded buffer of size n and the regular formal languages Ln, generated by the net. The objective of this paper is to obtain a regular expression for the set difference of languages Ln \ Lm, n > m. For this purpose, we give the finite automaton which accepts the set difference of mentioned languages, and then we use the state elimination method to obtain the regular expression in the recursive form. The main result is illustrated by the examples. In an appendix, we consider the problem with two producers and two consumers with the bounded buffer of size 1. We give a reachability graph and propose the method for obtaining the regular expression. The explicit formulas are given for the problem with two producers and one consumer and also for the problem with one producer and two consumers.

Implementasi Sistem Administrasi dan Forecasting Hasil Getah Karet Menggunakan Metode Moving Average

One of the plantation companies is located in north bengkulu and there are two gardens, precisely in Air Sebayur Village, Pinang Raya District and the other one is in Gembung Raya Village, Napal Putih District. Data from the results of the rubber sap in the division is still recorded manually, namely handwriting and then processed using the office application package, namelymicrosoft excel. However, the data is only limited to the results of rubber latex for PT. Julang Oca Permana and was not reviewed for information in the data. Implementation of the administration system and forecasting of rubber latex results using the Moving Average method at PT. Julang Oca Permana (jop) Bengkulu Utara was created using the visual basic .net programming language. With the development of the application, it can be used as an alternative in predicting the amount of production of rubber latex every day based on trend data for the previous 3 days. Administration system and forecasting of rubber latex results using the Moving Average method at PT. Julang Oca Permana (jop) Bengkulu Utara, there are several menus that can be accessed in order to manage production data and predict the amount of production. Based on the tests that have been carried out, it can be concluded that the application is able to predict the number of production results of each division for the next day based on trend data from the previous 3 days.

Regular expressions for some Petri net languages for the producer/consumer problem

We consider a Petri net for the producer/consumer problem (one of the classical synchronization problems) with the bounded buffer of size n and the regular formal languages Ln, generated by the net. We propose regular expressions denoting these languages in the recursive form, in case of the bounded buffer of size from 1 to 3 the explicit formulas are proposed. We transform a reachability graph into a finite automaton and use the state elimination method. We give an upper estimate for the star-height of the mentioned languages, in case of the bounded buffer of size 1 and 2 the exact values are calculated. We also consider union, intersection, Kleene closure, concatenation and set difference operations on mentioned languages. We give the finite automaton and propose regular expressions denoting the set difference of languages Ln \ L1 in the recursive form, for L2 \ L1 the explicit formula is proposed.

Designing a data set for postpartum recall registry of women with gestational diabetes in recent pregnancy and its implementation in Iranian urban health centers

Background and aimsGestational diabetes has serious short and long-term consequences for both mother and child. Designing a standard data set and implementing a recall registry system provides opportunities for early interventions in women with a history of gestational diabetes. The present study aims to draft a data set for the gestational diabetes recall registry and its establishment in urban health centers. MethodsTo design a data set for gestational diabetes postpartum recall registry a qualitative study has been done from April to June of 2019. In this stage, Information need assessment, Identification of data elements, development of registry software, and field-testing were done. Web-based software was designed in NET language and using a Visual Studio programming environment. Implementation of the postpartum recall registry was started in 6 health centers of Ahvaz city from August 2019. ResultsDuring six months 163 women with gestational diabetes in current pregnancy were registered. The final data set for the postpartum recall registry included six main groups, 23 subclasses, and 188 data elements. Mandatory data were included 115 elements. ConclusionA data set was finalized using a standard method and implemented in urban health centers for six months. Implementing a postpartum registry with standard elements can help manage data and plan for future interventions to reduce modifiable risk factors in this population.

Akaryakıt İstasyonu Yakıt Satış Otomasyonu Veriler Üzerinden Bir Veri Madenciliği Çalışması

This paper is devoted to the sales estimations of petroleum products that are are sold at fuel stations such as auto gas and diesel. Some techniques of data mining were used to predict the future sales of fuel oils types and the results were presented comparatively. It is also seen that the results obtained effect the strategy of tank management at fuel stations. For this purpose, the periodic sales estimations of the station are deducted from the data of the quantity of products entering a fuel station depot and the amount of fuel sold from the station. First, a web-based software was developed in C # and .NET languages and a related database was established. Instant sales data was recorded through 2 separate entries called as admin and user of the developed software. Then, data mining was performed on the warehouse and sales data drawn from an associated database. The results of this study are expected to support fuel stations on the tourism route in terms of warehouse management and sales estimates and help to establish a sales control scheme for the station.

Integrating a constraint-based optimization approach into the design of oil & gas structures

Currently, design optimization is widely applied in civil and mechanical engineering. Optimization strategies are used to enhance the product performance and reduce the cost, lead time and environmental impacts related to the product lifecycle. In this context, evolutionary algorithms are used for determining the optimum solution in engineering problems. The design of complex products, such as those that are engineered to order, often requires the study of subproblems. Modularization is a common practice to reduce the complexity; however, the configuration practices are difficult to be applied in engineered to order products. As a solution, the integration of the optimization tools and model-based simulations is proposed to manage the complexity. However, even when a commercial software is available to support the parameter optimization, there may exist a lack of design tools that can be integrated with the product structure of an engineered to order product. This paper describes a design optimization approach that integrates a Constraint Satisfaction Problem (CSP) tool with model-based simulations in a collaborative design context. A platform tool is developed using the .NET and MiniZinc languages. The case study is focused on the design optimization of a 700-ton steel structure. In particular, the optimization analysis considers the mechanical behavior, weight, and cost reduction.

I processi attivi nella derivazione su materiale della lingua russa di internet. I sostantivi con significato di oggetto o fenomeno creati da base sostantivale + suffissazione

This article analyses active processes of derivation in the Russian language on the Internet. The analysis focuses on suffix models used to create phenomenon or object nouns; these models illustrate the main tendencies in new Russian word formation and reflect some special features of net communication. The derivational chains, their meanings and the principles of their functioning in communication are considered. The differences between literary language and net language are also explored. The results of the research can contribute to academic and practical descriptions of some aspects related to the grammar of contemporary Russian. The article also provides insights into development possibilities of the current Russian lexical system. Some theoretical conclusions are drawn which can contribute to the linguistic discussion about the nature of net language in Russian.

Verification of Prognosability for Labeled Petri Nets

This technical note is concerned with the fault prognosis problem for partially observed discrete-event systems modeled by unbounded labeled Petri nets. The goal of this problem is to predict the occurrence of each fault before its occurrence. The condition of prognosability provides the necessary and sufficient condition under which any fault can be predicted with no missed detection and no false alarm. In this technical note, we investigate the verification of prognosability for unbounded labeled Petri nets. First, we show that checking prognosability is decidable for Petri net languages. Our approach is based on a reduction from this verification problem to an existing Petri nets model checking problem. Then, we show that the complexity of this problem is EXPSPACE-complete. Our results extend previous works on the verification of language-based prognosability from regular languages to Petri net languages.

Execution and evaluation of enterprise models in IEM/MO2GO based on Petri net

Because the growth of internet of things (IOT) technology, stakeholders who come from different research areas (information modeling area, dynamic process modeling area, and so on) will very easily and simultaneously evaluate and control the manufacturing process from all over the world. Therefore, there is an urgent need for a comprehensive enterprise modeling methodology with the integration of information modeling and dynamic process modeling method. However, it is known that there is limited research on the realization of a modeling methodology that can simultaneously handle information modeling and dynamic process modeling. The method for object-oriented business process optimization (MO2GO) system performs modeling in terms of information and process. However, the process modeling part in this system is static. Meanwhile, the Petri net mathematical modeling language has strong dynamic simulation capability. Thus, our main contribution is to analyze the characteristics of Petri net, which would be helpful to the dynamic process modeling realization in the MO2GO system, and integrate Petri net engine into the MO2GO system to allow a static process model to become dynamic. In here, the system can not only display a simulated manufacturing process but also calculate actual information (time and cost) for a final manufactured product. Therefore, it is possible for the system to handle both information modeling and dynamic process modeling. Finally, the MO2GO system will be more competitive in the future industry.

Performance Evaluation of Discrete Event Systems with GPenSIM

Petri nets are a useful tool for the modeling and performance evaluation of discrete event systems. Literature reveals that the Petri Net models of real-world discrete event systems are most frequently event graphs (a subclass of Petri nets). Literature also reveals that there are some simple methods for the performance evaluation of event graphs. The general-purpose Petri Net simulator (GPenSIM) is a new simulator that runs on the MATLAB platform. GPenSIM provides a Petri net language, with which Petri net classes and extensions can be developed. GPenSIM also provides functions for performance analysis. Since real-world discrete event systems usually possess a large number of resources, the Petri net models of these systems tend to become huge. Activity-Oriented Petri Nets (AOPN) is an approach that reduces the size of the Petri nets. In addition to the simulator functions, GPenSIM also realizes the AOPN approach on the MATLAB platform. Thus, AOPN is an integral part of GPenSIM. As a running example, a flexible manufacturing system is firstly modeled as an event graph, and then the size of the model is reduced with the AOPN approach. The advantages of GPenSIM and AOPN are discussed in this paper.