Skip header Section
Skip Bibliometrics Section
Discrete, Continuous, and Hybrid Petri NetsJanuary 2010
- Authors:
- Ren David,
- Hassane Alla
Skip Abstract Section
Abstract
Petri Nets were introduced and still successfully used to analyze and model discrete event systems especially in engineering and computer sciences such as in automatic control. Recently this discrete Petri Nets formalism was successfully extended to continuous and hybrid systems. This monograph presents a well written and clearly organized introduction in the standard methods of Petri Nets with the aim to reach an accurate understanding of continuous and hybrid Petri Nets, while preserving the consistency of basic concepts throughout the book. The book is a monograph as well as a didactic tool which is easy to understand due to many simple solved examples and detailed figures. In its second completely reworked edition various sections, concepts and recently developed algorithms are added as well as additional examples/exercises.
Cited By
- Gutowska K and Formanowicz P (2024). Searching for significant reactions and subprocesses in models of biological systems based on Petri nets, Computers in Biology and Medicine, 168:C, Online publication date: 1-Jan-2024.
- Arzola C, Vázquez C, Ramírez-Treviño A and Silva M (2023). Structural controllability in timed continuous Petri nets, Automatica (Journal of IFAC), 153:C, Online publication date: 1-Jul-2023.
Ebert S Safe adaptation of cobotic cells based on petri nets Proceedings of the 17th Symposium on Software Engineering for Adaptive and Self-Managing Systems, (43-47)- Mahmood I, Askari S and Sarjoughian H Composability verification of complex systems using colored petri nets Proceedings of the Winter Simulation Conference, (1-11)
- Blondin M (2020). The ABCs of petri net reachability relaxations, ACM SIGLOG News, 7:3, (29-43), Online publication date: 16-Nov-2020.
- Raeisi-Varzaneh M and Sabaghian-Bidgoli H (2020). A Petri-net-based communication-aware modeling for performance evaluation of NOC application mapping, The Journal of Supercomputing, 76:11, (9246-9269), Online publication date: 1-Nov-2020.
- Chaabene M and Fendri D (2020). Application of Hybrid Petri Nets for the Energy Dispatching of an Isolated Micro-Grid, International Journal of Applied Metaheuristic Computing, 11:1, (61-72), Online publication date: 1-Jan-2020.
- Ismail A, Herajy M, Atlam E, Heiner M and Hong J (2020). A Graphical Approach for Hybrid Simulation of 3D Diffusion Bio-Models via Coloured Hybrid Petri Nets, Modelling and Simulation in Engineering, 2020, Online publication date: 1-Jan-2020.
- Béger P, Leriche S and Prun D A Survey of Papers from Formal Methods for Interactive Systems (FMIS) Workshops Formal Methods. FM 2019 International Workshops, (443-464)
- Guevara-Lozano D, Vázquez C and Ramírez-Treviño A Towards Decentralized Tracking Control for Petri Nets 2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), (428-435)
- Hagebring F and Lennartson B (2019). Time-optimal control of large-scale systems of systems using compositional optimization, Discrete Event Dynamic Systems, 29:3, (411-443), Online publication date: 1-Sep-2019.
- Desirena-López G, Ramírez-Treviño A, Briz J, Vázquez C and Gómez-Gutiérrez D (2019). Thermal-aware Real-time Scheduling Using Timed Continuous Petri Nets, ACM Transactions on Embedded Computing Systems, 18:4, (1-24), Online publication date: 12-Aug-2019.
- Lutz J, Lutz N, Lutz R and Riley M Robustness and games against nature in molecular programming Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results, (65-68)
- Lesi V, Jakovljevic Z and Pajic M Reliable industrial IoT-based distributed automation Proceedings of the International Conference on Internet of Things Design and Implementation, (94-105)
- Brijder R (2019). Computing with chemical reaction networks, Natural Computing: an international journal, 18:1, (119-137), Online publication date: 1-Mar-2019.
- Belazreg M, Halbaoui K, Boukhetala D and Boulheouchat M (2019). Modelling, simulation and control of a class of hybrid dynamic systems, International Journal of Computer Applications in Technology, 60:2, (87-107), Online publication date: 1-Jan-2019.
- Gudiño-Mendoza B, López-Mellado E and Aguayo-Lara E (2018). A scheme for the simulation of networked agent systems modeled by timed hybrid Petri nets, Simulation, 94:10, (887-909), Online publication date: 1-Oct-2018.
- Barreto F and Julia S Modeling of Video Games Using Workflow Nets and State Graphs Proceedings of the XXXI Brazilian Symposium on Software Engineering, (261-266)
- Ataíde A, Barros J, Brito I and Gomes L Towards automatic code generation for distributed cyber-physical systems: A first prototype for Arduino boards 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), (1-4)
- Blondin M and Haase C Logics for continuous reachability in petri nets and vector addition systems with states Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, (1-12)
- Li C, Ge J, Huang L, Hu H, Wu B, Hu H and Luo B (2017). Software cybernetics in BPM, Journal of Systems and Software, 124:C, (260-273), Online publication date: 1-Feb-2017.
- Latorre-Biel J, Faulin J and Juan A Enriching simheuristics with Petri net models Proceedings of the 2016 Winter Simulation Conference, (2475-2486)
- Martiník I PLACE_SUBST Transformation of P/T Petri Process Nets and Its Properties Computer Information Systems and Industrial Management, (504-515)
- Vatsa D, Agarwal S and Srinivasan A Learning transition models of biological regulatory and signaling networks from noisy data Proceedings of the 3rd IKDD Conference on Data Science, 2016, (1-6)
- Lahaye S, Komenda J and Boimond J (2015). Compositions of (max, +) automata, Discrete Event Dynamic Systems, 25:1-2, (323-344), Online publication date: 1-Jun-2015.
- Ghasemieh H, Remke A and Haverkort B Hybrid Petri nets with multiple stochastic transition firings Proceedings of the 8th International Conference on Performance Evaluation Methodologies and Tools, (217-224)
- Barreto F and Julia S Modeling and analysis of video games based on workflow nets and state graphs Proceedings of 24th Annual International Conference on Computer Science and Software Engineering, (106-119)
- Ortega F, Liu S, Hernandez F, Barreto A, Rishe N and Adjouadi M PeNTa 16th International Conference on Human-Computer Interaction. Theories, Methods, and Tools - Volume 8510, (361-372)
- León M, Mkrtchyan L, Depaire B, Ruan D and Vanhoof K (2014). Learning and clustering of fuzzy cognitive maps for travel behaviour analysis, Knowledge and Information Systems, 39:2, (435-462), Online publication date: 1-May-2014.
- Herajy M and Heiner M (2014). Petri Net-Based Collaborative Simulation and Steering of Biochemical Reaction Networks, Fundamenta Informaticae, 129:1-2, (49-67), Online publication date: 1-Jan-2014.
- Ghasemieh H, Remke A and Haverkort B Analysis of a sewage treatment facility using hybrid Petri nets Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, (165-174)
- Ortega F, Hernandez F, Barreto A, Rishe N, Adjouadi M and Liu S Exploring modeling language for multi-touch systems using petri nets Proceedings of the 2013 ACM international conference on Interactive tabletops and surfaces, (361-364)
- Leroux H, Godary-Dejean K and Andreu D Complex Digital System Design Proceedings of the 18th International Workshop on Formal Methods for Industrial Critical Systems - Volume 8187, (94-107)
- Clemente M, Fanti M, Mangini A and Ukovich W The vehicle relocation problem in car sharing systems Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency, (250-269)
- Nazemzadeh P, Dideban A and Zareiee M (2013). Fault Modeling in Discrete Event Systems Using Petri Nets, ACM Transactions on Embedded Computing Systems, 12:1, (1-19), Online publication date: 1-Jan-2013.
- Alla H and Ghomri L Modeling and simulation by hybrid Petri nets Proceedings of the Winter Simulation Conference, (1-8)
- Konaka E, Asano K, Suzuki T and Iijima Y HPN modeling, optimization and control law extraction for continuous steel processing Proceedings of the Winter Simulation Conference, (1-12)
- Ghasemieh H, Remke A, Haverkort B and Gribaudo M Region-Based analysis of hybrid petri nets with a single general one-shot transition Proceedings of the 10th international conference on Formal Modeling and Analysis of Timed Systems, (139-154)
- Gogolinska A and Nowak W Petri nets approach to modeling of immune system and autism Proceedings of the 11th international conference on Artificial Immune Systems, (86-99)
- Babamir S and Borhani M (2012). Formal Verification of Medical Monitoring Software Using Z Language, Journal of Medical Systems, 36:4, (2633-2648), Online publication date: 1-Aug-2012.
- Kovács G, Harmati I, Kiss B, Vámos G and Maráczy P Comparison of methods for passenger flow simulation of an airport terminal Proceedings of the 5th WSEAS congress on Applied Computing conference, and Proceedings of the 1st international conference on Biologically Inspired Computation, (145-150)
- Matsuno H, Nagasaki M and Miyano S (2011). Hybrid Petri net based modeling for biological pathway simulation, Natural Computing: an international journal, 10:3, (1099-1120), Online publication date: 1-Sep-2011.
- Srinivasan A and Bain M Knowledge-Guided identification of petri net models of large biological systems Proceedings of the 21st international conference on Inductive Logic Programming, (317-331)
- Heiner M and Gilbert D How might petri nets enhance your systems biology toolkit Proceedings of the 32nd international conference on Applications and theory of Petri Nets, (17-37)
- Mei C, Zhang X, Zhao W, Periyasamy K and Headington M (2011). A tool for teaching Petri nets, Journal of Computing Sciences in Colleges, 26:5, (181-188), Online publication date: 1-May-2011.
- Song X, Dou W and Chen J (2011). A workflow framework for intelligent service composition, Future Generation Computer Systems, 27:5, (627-636), Online publication date: 1-May-2011.
- Pocci M, Demongodin I, Giambiasi N and Giua A Synchronizing sequences on not strongly connected Petri nets (Work-in-Progress) Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, (45-50)
- Van Der Vegte W and Horváth I (2011). Achieving closed-loop control simulation of human-artefact interaction, Modelling and Simulation in Engineering, 2011, (24-24), Online publication date: 1-Jan-2011.
- Silver G, Bellipady K, Miller J, Kochut K and York W Supporting interoperability using the discrete-event modeling ontology (DeMO) Winter Simulation Conference, (1399-1410)
- Bohlmann S, Klinger V and Szczerbicka H HPNS Winter Simulation Conference, (874-885)
- Haque N, Barjis I, Haque N and Samarrai W Modeling of chemokine signaling pathway Proceedings of the 2009 Summer Computer Simulation Conference, (185-192)
- Andrade E, Maciel P, Callou G, Nogueira B and Araújo C Mapping UML sequence diagram to time petri net for requirement validation of embedded real-time systems with energy constraints Proceedings of the 2009 ACM symposium on Applied Computing, (377-381)
- Mircea D, Gheorghe M, Anca P and Marius P On hybrid systems modeling with Petri nets Proceedings of the 7th WSEAS international conference on System science and simulation in engineering, (73-78)
- Heiner M, Gilbert D and Donaldson R Petri nets for systems and synthetic biology Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology, (215-264)
- Heiner M, Richter R and Schwarick M Snoopy Proceedings of the 1st international conference on Simulation tools and techniques for communications, networks and systems & workshops, (1-10)
- Barjis I and Gehlot V Petri net based description and modeling of metabolic pathway Proceedings of the 2007 Summer Computer Simulation Conference, (848-851)
- Hardy S and Robillard P Visualization of the simulation data of biochemical network models Proceedings of the 2007 Summer Computer Simulation Conference, (802-808)
- Frehse G and Maler O Reachability analysis of a switched buffer network Proceedings of the 10th international conference on Hybrid systems: computation and control, (698-701)
- Gaujal B and Perronnin F Coupling from the past in hybrid models for file sharing peer to peer systems Proceedings of the 10th international conference on Hybrid systems: computation and control, (217-230)
- Haddad S, Recalde L and Silva M On the computational power of timed differentiable petri nets Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems, (230-244)
- Hamaci S, Boimond J and Lahaye S (2006). Modeling and Control of Hybrid Timed Event Graphs with Multipliers Using (Min, +) Algebra, Discrete Event Dynamic Systems, 16:2, (241-256), Online publication date: 1-Apr-2006.
- Lesire C and Tessier C Estimation and conflict detection in human controlled systems Proceedings of the 9th international conference on Hybrid Systems: computation and control, (407-420)
- Silva M and Recalde L Continuization of timed petri nets Proceedings of the 26th international conference on Applications and Theory of Petri Nets, (26-47)
- David R Modeling of hybrid systems using continuous and hybrid Petri nets Proceedings of the 6th International Workshop on Petri Nets and Performance Models
- Navarro-Gutiérrez M, Ramírez-Treviño A and Silva M On the duality between firing rate and initial marking variations in TCPN 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA), (1-8)
- Casas-Carrillo R, Begovich O, Ruiz-León J and Čelikovský S Adaptive Fault Diagnoser based on PSO algorithm for a class of Timed Continuous Petri Nets 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA), (1-7)
- Bajcinca N, Almodaresi E and Ruan M A hybrid Petri net formalism and resource allocation in distributed control systems 2015 53rd Annual Allerton Conference on Communication, Control, and Computing (Allerton), (1516-1524)
Recommendations
Modeling of hybrid systems using continuous and hybrid Petri nets
PNPM '97: Proceedings of the 6th International Workshop on Petri Nets and Performance ModelsWe shall first try to define what is meant by a hybrid system. Petri nets are, by definition, discrete event systems. However, continuous Petri nets have subsequently been defined. Both models can be combined to produce what are known as hybrid Petri ...
Discrete Time Stochastic Petri Nets
Basic graph models of processes, such as Petri nets, have usually omitted the concept of time as a parameter. Time has been added to the Petri net model in two ways. The timed Petri net (TPN) uses a fixed number of discrete time intervals. The ...