The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Halal animal products have significant meaning for agriculture in Northwest China and other Moslem regions. Formal producing and quality certification system can improve the producing efficiency of Halal animal products. Performance and cost analysis are the two purposes of animal products producing system modeling, where the Stochastic Petri Net (SPN) is an effective tool for performance analysis,...
Virtual Enterprises can be considered as one of the most promising paradigms for future enterprises. The main characteristics of Virtual Enterprises are the distributed and parallel business process execution. UML is considered nowadays as the standardized language for object oriented modeling. However, UML needs a well-defined semantic base for its notation. Petri nets (PNs) are a formal and graphical...
UML Sequence Diagram (SD) is used to modeling the dynamic behaviors of system, but it lacks simulation and verifiability capabilities because of its semi-formal nature. This paper proposes a UML-CPN transformation method to building dynamic model in UML using CPN. This work aims to develop efficient transformation methods, and then uses CPN models to simulate, verify and evaluate the systems. This...
The paper firstly analyzes the basic structure of UML Sequence Diagram and gives the formal description of Object Petri Nets. For reuse, the formal description of reusable interaction is studied. Then the paper puts forward the mapping algorithm of UML Sequence Diagrams to Object Petri Nets, which ensures the accuracy, integrity and simplicity of the results by four steps, including abstraction, merging,...
Distributed discrete event systems (Distributed DES) are increasing with the development of networks. A major problem of these systems is the evaluation of their performance at the design stage. We are particularly interested in assessing the impact of computer networking protocols on the control of manufacturing systems. In our design methodology, these systems are modeled using Petri nets. In this...
In object-oriented software testing, a class is considered to be a basic unit of testing. The state of the objects may cause faults that cannot be easily revealed with traditional testing techniques. In this paper, we propose a new technique for class testing by using event-driven Petri nets (EDPN), which is an extended version of Petri Nets, one of techniques having the ability to analyze and test...
At present, the clinical pathways (CP) is developed and implemented manually by filling predefined paper. Computerization and automatic or semi-automatic implementation of CP based on workflow is one of the possible solutions. By introducing the rule places based on object-oriented Petri net, we build the CP workflow model to solve the workflow route decision-making. However, there are still some...
The research presented the supply chain operation model based on networked manufacturing. It employs the Object-oriented Petri Net(OPN) to analyze the process of supply chain. The model of each object who takes part in supply chain operation was designed and the synthetical model was presented. Then, some properties such as deadlock, overflow and conflict can be analyzed. In such supply chain operation,...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.