Petri nets are frequently used for modeling and analysis of discrete event systems. Similar to other modeling formalisms for discrete systems, it suffers from state explosion. Fluidification can be used to overcome this difficulty yielding fluid approximation of original Petri nets in the sense of behaviours and properties. This models are called continuous Petri nets. In this work, stochastic ...

In this work a formalism named Differential Hybrid Petri Nets to model and simulate hybrid systems is presented. It is based on the main elements of the semantics of the hybrid automaton and the modeling power of Petri nets. Considering that Wireless Sensor Networks are hybrid systems, this formalism is applied to model a Dynamic Power Management technique based on battery Capacity (GDC). There...

This is a tutorial paper on Petri nets. Petri nets, as a graphical and mathematical tool, provide a uniform environment for modelling, formal analysis, and design of discrete event systems. The main objective of this paper is to introduce the fundamental concepts of Petri nets to the researchers and practitioners, both from academia and industry, who are involved in the work in the areas of mod...

We examine both the modeling power of normal and sinkless Petri nets and the computational complexities of various classical decision problems with respect to these two classes. We argue that although neither normal nor sinkless Petri nets are strictly more powerful than persistent Petri nets, they nonetheless are both capable of modeling a more interesting class of problems. On the other hand,...

We analyze the current product design modeling background and status, combined with the design dynamics, propose more intelligent design of the product behavioral modeling, by analogy Ecosystem, proposed the concepts and design framework product flow behavior and product behavior flow of the ecosystem. Proposed the concepts of design entropy flow and conservation in design dynamics, put forward...

1 In this paper we consider Hybrid Petri Nets (HPNs), a particular formalism that combines fluid and discrete event dynamics. We first provide a survey of the main HPNs models that have been presented in the literature in the last decades. Then, we focus on a particular HPN model, namely the First-Order Hybrid Petri Net (FOHPN) model, whose continuous dynamics are piece-wise constant. Here the ...

For the last past years, the formalism of classic Petri nets and their various extensions, offer powerful concepts and formal techniques for modeling, simulation and analysis of hybrid dynamic systems. In this way, this paper presents a Petri net approach to specify and simulate hybrid dynamic systems with autonomous commutation of the model generated by a hysteresis phenomenon, in order to val...

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

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...