Open access peer-reviewed Edited Volume

Petri Nets

Applications

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
IntechOpen
Petri NetsApplicationsEdited by Pawel Pawlewski

Published: February 1st 2010

DOI: 10.5772/150

ISBN: 978-953-307-047-6

Copyright year: 2010

Books open for chapter submissions

59655 Total Chapter Downloads

17 Crossref Citations

10 Web of Science Citations

48 Dimensions Citations

chaptersDownloads

Open access peer-reviewed

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

By Masahiro Tsunoyama and Hiroei Imai

1410

Open access peer-reviewed

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

By Liberios Vokorokos and Anton Balaz

1718

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

1588

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

1368

Open access peer-reviewed

5. Systolic Petri Nets

By Alexandre Abellard and Patrick Abellard

1121

Open access peer-reviewed

6. Towards Rewriting Semantics of Software Architecture Specification

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

1334

Open access peer-reviewed

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

By Xiaoxi Xu and Cheng-Chew Lim

1231

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

1448

Open access peer-reviewed

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

By Bonhomme Patrice

1113

Open access peer-reviewed

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

By Kechar Bouabdellah and Sekhri Larbi

1659

Open access peer-reviewed

11. Distributed Implementation of Petri nets in Control Applications

By Ramon Piedrafita, Danilo Tardioli and Jose Luis Villarroel

1513

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

1144

Open access peer-reviewed

13. Reachability Analysis of Time-Critical Systems

By Stefan Hudak, Stefan Korecko and Slavomir Simonak

1065

Open access peer-reviewed

14. Supervisory Control and High-level Petri nets

By Chiheb Ameur Abid, Sajeh Zairi and Belhassen Zouari

1995

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

2011

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

1145

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

1693

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

1967

Open access peer-reviewed

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

By Genichi Yasuda

1425

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

1373

Open access peer-reviewed

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

By Pawlewski Pawel

2717

Open access peer-reviewed

22. Workflow Diagnosis Using Petri Net Charts

By Calin Ciufudean and Constantin Filote

954

Open access peer-reviewed

23. Evaluation of Power System Security with Petri Nets

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

2501

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

4859

Open access peer-reviewed

25. GPenSIM: A New Petri Net Simulator

By Reggie Davidrajuh

2758

Open access peer-reviewed

26. Assessing Risks in Critical Systems Using Petri Nets

By Lucio Flavio Vismari and Joao Batista Camargo Junior

1727

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

4207

Open access peer-reviewed

28. Traffic Network Control Based on Hybrid System Modeling

By Youngwoo Kim

1634

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

970

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

1446

Open access peer-reviewed

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

By Anthony Spiteri Staines

1752

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

1590

Open access peer-reviewed

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

By Cristina De Castro and Paolo Toppan

1134

Open access peer-reviewed

34. Petri Nets-based Models for Web Services Composition

By Huaikou Miao and Tao He

2085

Edited Volume and chapters are indexed in

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

Order a hardcopy of the Edited Volume

Free shipping with DHL Express

Hardcover (ex. VAT)£205

Order now

Residents of European Union countries need to add a Book Value-Added Tax of 5%. 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