Open access peer-reviewed Edited Volume

Petri Nets


Edited by Pawel Pawlewski

Poznań University of Technology, Poland

Petri Nets are graphical and mathematical tool used in many different science domains. Their characteristic features are the intuitive graphical modeling language and advanced formal analysis method. The concurrence of performed actions is the natural phenomenon due to which Petri Nets are perceived as mathematical tool for modeling concurrent systems. The nets whose model was extended with the time model can be applied in modeling real-time systems. Petri Nets were introduced in the doctoral dissertation by K.A. Petri, titled “„Kommunikation mit Automaten” and published in 1962 by University of Bonn. During more than 40 years of development of this theory, many different classes were formed and the scope of applications was extended. Depending on particular needs, the net definition was changed and adjusted to the considered problem. The unusual “flexibility” of this theory makes it possible to introduce all these modifications. Owing to varied currently known net classes, it is relatively easy to find a proper class for the specific application. The present monograph shows the whole spectrum of Petri Nets applications, from classic applications (to which the theory is specially dedicated) like computer science and control systems, through fault diagnosis, manufacturing, power systems, traffic systems, transport and down to Web applications. At the same time, the publication describes the diversity of investigations performed with use of Petri Nets in science centers all over the world.

Read more >Order hardcopy
Petri NetsApplicationsEdited by Pawel Pawlewski

Published: February 1st 2010

DOI: 10.5772/150

ISBN: 978-953-307-047-6

eBook (PDF) ISBN: 978-953-51-5867-7

Copyright year: 2010

Books open for chapter submissions

70770 Total Chapter Downloads

18 Crossref Citations

11 Web of Science Citations

50 Dimensions Citations


Open access peer-reviewed

1. An Application of GSPN for Modeling and Evaluating Local Area Computer Networks

By Masahiro Tsunoyama and Hiroei Imai


Open access peer-reviewed

2. Architecture of Computer Intrusion Detection Based on Partially Ordered Events

By Liberios Vokorokos and Anton Balaz


Open access peer-reviewed

3. Particle Filter for Depth Evaluation of Networking Intrusion Detection Using Coloured Petri Nets

By Chien-Chuan Lin and Ming-Shi Wang


Open access peer-reviewed

4. Modeling and Analyzing Software Architecture Using Object-Oriented Petri Nets and Pi-Calculus

By Zhenhua Yu, Xiao Fu, Yu Liu, JingWang and Yuanli Cai


Open access peer-reviewed

5. Systolic Petri Nets

By Alexandre Abellard and Patrick Abellard


Open access peer-reviewed

6. Towards Rewriting Semantics of Software Architecture Specification

By Yujian Fu, Zhijiang Dong, Phil Bording and Xudong He


Open access peer-reviewed

7. Transfer-Resource Graph and Petri-net for System-on-Chip Verification

By Xiaoxi Xu and Cheng-Chew Lim


Open access peer-reviewed

8. Using Petri nets for modeling and verification of Hybrid Systems

By Ricardo Rodriguez, Otoniel Rodriguez, Gerardo Reyes and Vianey Cruz


Open access peer-reviewed

9. A new Control Synthesis Approach of P-Time Petri Nets

By Bonhomme Patrice


Open access peer-reviewed

10. CL-MAC: Cross-layer MAC Protocol for Delay Sensitive Wireless Sensor Network Applications

By Kechar Bouabdellah and Sekhri Larbi


Open access peer-reviewed

11. Distributed Implementation of Petri nets in Control Applications

By Ramon Piedrafita, Danilo Tardioli and Jose Luis Villarroel


Open access peer-reviewed

12. Hybrid State Petri Nets which Have the Analysis Power of Stochastic Hybrid Systems and the Formal Verification Power of Automata

By Mariken H.C. Everdij and Henk A.P. Blom


Open access peer-reviewed

13. Reachability Analysis of Time-Critical Systems

By Stefan Hudak, Stefan Korecko and Slavomir Simonak


Open access peer-reviewed

14. Supervisory Control and High-level Petri nets

By Chiheb Ameur Abid, Sajeh Zairi and Belhassen Zouari


Open access peer-reviewed

15. Using Petri Net for Modeling and Analysis of a Encryption Scheme for Wireless Sensor Networks

By Hugo Rodriguez, Ruben Carvajal, Beatriz Ontiveros, Ismael Soto and Rolando Carrasco


Open access peer-reviewed

16. Diagnosability in Switched Linear Systems

By Lizette Rubio- Gomez, David Gomez-Gutierrez, Antonio Ramirez-Trevino, Javier Ruiz-Leon and Guillermo Ramirez-Prado


Open access peer-reviewed

17. Fault Diagnosis for Complex Systems Using Coloured Petri Nets

By L. Rodriguez, E. Garcia, F. Morant, A. Correcher and E. Quiles


Open access peer-reviewed

18. Modelling and Fault Diagnosis by Means of Petri Nets. Unmanned Aerial Vehicle Application

By Miguel Trigos, Antonio Barrientos, Jaime del Cerro and Hermes Lopez


Open access peer-reviewed

19. Design and Implementation of Hierarchical and Distributed Control for Robotic Manufacturing Systems Using Petri Nets

By Genichi Yasuda


Open access peer-reviewed

20. Performance Evaluation of Distributed Systems: a Component-Based Modeling Approach Based on Object Oriented Petri Nets

By Aladdin Masri, Thomas Bourdeaud'hui and Armand Toguyeni


Open access peer-reviewed

21. Using Petri Nets to Model and Simulation Production Systems in Process Reengineering (Case Study)

By Pawlewski Pawel


Open access peer-reviewed

22. Workflow Diagnosis Using Petri Net Charts

By Calin Ciufudean and Constantin Filote


Open access peer-reviewed

23. Evaluation of Power System Security with Petri Nets

By Jose L. Sanchez, Mario A. Rios and Gustavo Ramos


Open access peer-reviewed

24. Fault Diagnosis on Electric Power Systems Based on Petri Net Approach

By Alejandra Santoyo-Sanchez, José Alberto Gutiérrez-Robles, Elvia Ruiz-Beltrán, Carlos Alberto De Jesús-Velasquez, Luis Isidro Aguirre-Salas and Victor Ortiz-Muro


Open access peer-reviewed

25. GPenSIM: A New Petri Net Simulator

By Reggie Davidrajuh


Open access peer-reviewed

26. Assessing Risks in Critical Systems Using Petri Nets

By Lucio Flavio Vismari and Joao Batista Camargo Junior


Open access peer-reviewed

27. Modelling and Analysis of Traffic Light Control Systems Using Timed Coloured Petri nets

By Yi-Sheng Huang and Ta-Hsiang Chung


Open access peer-reviewed

28. Traffic Network Control Based on Hybrid System Modeling

By Youngwoo Kim


Open access peer-reviewed

29. Using Petri Nets in the Analysis of Sequential Automata Models with Direct Applications on the Transport Systems with Accumulation Areas

By Dan Ungureanu-Anghel


Open access peer-reviewed

30. An Approach Based in Petri Net for Requirement Analysis

By Ermeson Andrade, Paulo Maciel, Gustavo Callou, Bruno Nogueira and Carlos Araujo


Open access peer-reviewed

31. Intuitive Transformation of UML2 Activities into Fundamental Modeling Concept Petri Nets and Colored Petri Nets

By Anthony Spiteri Staines


Open access peer-reviewed

32. Multilevel Petri Nets for the Specification and Development of Workflow Automation Systems

By Marina Flores-Badillo and Ernesto Lopez-Mellado


Open access peer-reviewed

33. An Application of Petri Nets to e/m-Learning Environments

By Cristina De Castro and Paolo Toppan


Open access peer-reviewed

34. Petri Nets-based Models for Web Services Composition

By Huaikou Miao and Tao He


Edited Volume and chapters are indexed in

  • Worldcat
  • OpenAIRE
  • Google Scholar
  • AZ ebsco
  • Base
  • CNKI

Order a hardcopy of the Edited Volume

Free shipping with DHL Express

Hardcover (ex. VAT)£159

Order now

Residents of European Union countries need to add a Book Value-Added Tax Rate based on their country of residence. Institutions and companies, registered as VAT taxable entities in their own EU member state, will not pay VAT by providing IntechOpen with their VAT registration number. This is made possible by the EU reverse charge method.

Special discount for IntechOpen contributors

All IntechOpen contributors are offered special discounts starting at 40% OFF available through your personal dashboard

Login and purchase