In this paper we present an overview of the basic ideas involved in an ongoing project for giving Petri net semantics to an object-oriented language. At present the emphasis is not in the development of the language, but in the study of how far one can get with the existing Petri net machinery. The OOB(PN) 2 language is an extension of B(PN) 2 as deened by Best and Hopkins, and the semantics is...

Evolutionary Computation (EC) mimics evolution processes to solve burdensome computational problems, like the design, optimization and reverse engineering of complex systems, and its effectiveness is tied to a proper formalization of the candidate solutions. Petri Net (PN) formalism is extensively exploited for the modeling, simulation and analysis of the structural and behavioral properties of...

A computer simulation system, which is based-siphon Petri net for control of concurrent processes of the reusable resources, that is mainly aimed to provide guidelines for control and management engineering of flexible manufacturing systems (FMSs) is presented in this work. We present an important technique for the analysis of siphon Petri net (PN) based on structural analysis, control, and sim...

A computer simulation system, which is based-siphon Petri net for control of concurrent processes of the reusable resources, that is mainly aimed to provide guidelines for control and management engineering of flexible manufacturing systems (FMSs) is presented in this work. We present an important technique for the analysis of siphon Petri net (PN) based on structural analysis, control, and sim...

this paper deals with the problem of forbidden states in discrete event systems modeled by petri net. to avoid the forbidden states, some constraints which are called generalized mutual exclusion constraints can be assigned to them. enforcing these constraints on the system can be performed using control places. however, when the number of these constraints is large, a large number of control p...

Interpreted Petri Nets (IPNs) are an extension of the basic Petri Net (PN) framework. They are ordinary PNs with additional components to model the information flow to and from the PN. This contribution gives a general overview of the control design process. Furthermore, it shows how the different tasks in this process, especially analysis, verification and validation, can be successfully solve...

The diversity of interpreted Petri net PN for malisms suited to deal with diverse purposes but shar ing basic common principles turns PN into a conceptual framework or paradigm for the modeling of DEDS They can be used for the modeling analysis implementation and control of these systems sometimes with advantage and with the additional bene t of improving the commu nication between stages of th...

In this paper we present a time extension of Petri nets called Petri net with Time Windows (short: tw-PN) where time intervals (windows) are associated with the places. We give a formal definition for this class and compare these time dependent Petri nets with their (timeless) skeletons. In particular, we compare their sets of reachable markings and their liveness behaviour. The sets of reachab...

− Ordinary t-timed Petri Nets are used for modeling, analysis and synthesis of random topology production systems and networks. Each production system is first decomposed into production line (transfer chain), assembly, disassembly and parallel machines modules and then their corresponding modular Petri Net models are derived. The overall system PN model is obtained via synthesis of the generic...