W u d As automated manufacturing systems become more complex, the need for an effective design tool to p d u c e both high level Discrete Event Control System (DECS) and low level implementation, becomes increasingly more important Petri nets represent the most effective method for both the design and implementation of DECSs. The conversion of such Petri nets into ml-time applications has mnt l...

The paper offers an overview on recent techniques for representing Biological Pathways with Petri Nets and their extensions. The main focus is on the metabolic pathways and their representation by standard Petri Nets, self-modified Petri Nets and Colored (High Level) Petri Nets. Gene Regulatory Pathway and Message Massing Nets are also considered. All biological information are taken from the K...

This paper deals with the modelling of batch systems by means of high-level Petri nets. Batch systems are systems that transform a continuous raw material through continuous equipment (as heat exchanger for example) and batch equipment (for instance, batch reactor). These systems are frequently used by chemical of food industry. Batch systems deal with concurrent activities and resource allocat...

We present an embedding of Petri nets into B abstract systems. The embedding is achieved by translating both the static structure (modelling aspect) and the evolution semantics of Petri nets. The static structure of a Petri net is captured within a B abstract system through a graph structure. This abstract system is then included in another abstract system which captures the evolution semantics...

This paper deals with the formalization of Unified Modeling language (UML) by means of Petri Nets. In order to improve the semantics of UML dynamic diagrams, we define a new method of embedding UML StateCharts into Interval Timed Petri Nets (ITPN). This method considers all kinds of hierarchical states together with the most of pseudo-states like history ones. Besides consistencies analysis, ti...

Hierarchical Petri nets allow a more abstract view whereas reconfigurable Petri nets model dynamic structural adaptation. In this contribution we present the combination of reconfigurable Petri nets and hierarchical Petri nets yielding an hierarchical structure for reconfigurable Petri nets. Hierarchies are established by substituting transitions by subnets. These subnets are themselves reconfi...

Extended Simple Colored Petri Nets (ESCP-nets) are a new class of High-level Petri Nets conceived as a good trade-off between Petri Nets (P-nets) and Colored Petri Nets (CP-nets), to be used in plant simulation. ESCP-nets, while being much more convenient and compact than P-nets, are fairly simpler than CP-nets, thus being more easily implemented and more amenable to formal analysis. Furthermor...

We de ne a new subclass of persistent Petri nets called single-path Petri nets. Our intention is to provide a class of Petri nets whose study might yield some insight into the mathematical properties of persistent Petri nets or even general Petri nets. We conjecture that the Karp-Miller coverability tree for a persistent net is small enough to be searched in polynomial space. Although we are un...

Dialectica categories are a very versatile categorical model of linear logic. They have been used to model many seemingly different systems, for example Petri nets and the Lambek calculus. In this note, we expand our previous work on fuzzy Petri nets to deal with fuzzy topological systems. One basic idea is to use as the dualizing object in the Dialectica categories construction, the unit real ...