The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets
IEEE Transactions on Software Engineering
Modeling and Verification of Time Dependent Systems Using Time Petri Nets
IEEE Transactions on Software Engineering
Discrete-event simulation of fluid stochastic Petri nets
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
Continuous Petri nets: expressive power and decidability issues
ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis
Discrete, Continuous, and Hybrid Petri Nets
Discrete, Continuous, and Hybrid Petri Nets
Continuization of timed petri nets: from performance evaluation to observation and control
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Hi-index | 0.00 |
Petri nets (PNs) are widely used to model discrete event dynamic systems (computer systems, manufacturing systems, communication systems, etc). Continuous Petri nets (in which the markings are real numbers and the transition firings are continuous processes) were defined more recently; such a PN may model a continuous system (biological systems, fluid systems, etc). or approximate a discrete system (manufacturing systems, transport systems, etc). A paper presents the main ideas origin of the definition of this model. Different timings can be associated with discrete transitions leading to different derived models. When the maximal firing speeds associated with continuous transitions hybrid Petri net is obtained if one of its parts is discrete and the other part is continuous. This are constant, an elegant model is obtained allowing fast simulations.