Open access peer-reviewed Edited Volume

Petri Net

Theory and Applications

Edited by Vedran Kordic

TU Wien, Austria

Although many other models of concurrent and distributed systems have been de- veloped since the introduction in 1964 Petri nets are still an essential model for concurrent systems with respect to both the theory and the applications. The main attraction of Petri nets is the way in which the basic aspects of concurrent systems are captured both conceptually and mathematically. The intuitively appealing graphical notation makes Petri nets the model of choice in many applications. The natural way in which Petri nets allow one to formally capture many of the basic notions and issues of concurrent systems has contributed greatly to the development of a rich theory of concurrent systems based on Petri nets. This book brings together reputable researchers from all over the world in order to provide a comprehensive coverage of advanced and modern topics not yet reflected by other books. The book consists of 23 chapters written by 53 authors from 12 different countries.

Read more >Order hardcopy
Petri NetTheory and ApplicationsEdited by Vedran Kordic

Published: February 1st 2008

DOI: 10.5772/56

ISBN: 978-3-902613-12-7

eBook (PDF) ISBN: 978-953-51-5823-3

Copyright year: 2008

Books open for chapter submissions

59136 Total Chapter Downloads

41 Crossref Citations

69 Web of Science Citations

70 Dimensions Citations


Open access peer-reviewed

1. Petri Net Transformations

By Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Claudia Ermel, Ulrike Prange, Enrico Biermann and Tony Modica


Open access peer-reviewed

2. Modelling and Analysis of Real-Time Systems with RTCP-Nets

By Marcin Szpyrka


Open access peer-reviewed

3. Petri Net Based Modelling of Communication in Systems on Chip

By Holger Blume, Thorsten von Sydow, Jochen Schleifer and Tobias G. Noll


Open access peer-reviewed

4. An Inter-Working Petri Net Model between SIMPLE and IMPS for XDM Service

By Jianxin Liao, Yuting Zhang and Xiaomin Zhu


Open access peer-reviewed

5. Modelling Systems by Hybrid Petri Nets: an Application to Supply Chains

By Mariagrazia Dotoli, Maria Pia Fanti, Alessandro Giua and Carla Seatzu


Open access peer-reviewed

6. Modeling and Analysis of Hybrid Dynamic Systems Using Hybrid Petri Nets

By Latefa Ghomri and Hassane Alla


Open access peer-reviewed

7. Use of Petri Nets for Modeling an Agent-Based Interactive System: Basic Principles and Case Study

By Houcine Ezzedine and Christophe Kolski


Open access peer-reviewed

8. On the Use of Queueing Petri Nets for Modeling and Performance Analysis of Distributed Systems

By Samuel Kounev and Alejandro Buchmann


Open access peer-reviewed

9. Model Checking of Time Petri Nets

By Hanifa Boucheneb and Rachid Hadjidj


Open access peer-reviewed

10. A Linear Logic Based Approach to Timed Petri Nets

By Norihiro Kamide


Open access peer-reviewed

11. From Time Petri Nets to Timed Automata

By Franck Cassez and Olivier H. Roux


Open access peer-reviewed

12. Timed Hierarchical Object-Oriented Petri Net

By Hua Xu


Open access peer-reviewed

13. Scheduling Analysis of FMS Using the Unfolding Time Petri Nets

By Jong kun Lee and Ouajdi Korbaa


Open access peer-reviewed

14. Error Recovery in Production Systems: A Petri Net Based Intelligent System Approach

By Nicholas G. Odrey


Open access peer-reviewed

15. Estimation of Mean Response Time of Multi—Agent Systems Using Petri Nets

By Tomasz Babczyński and Jan Magott


Open access peer-reviewed

16. Diagnosis of Discrete Event Systems with Petri Nets

By Dimitri Lefebvre


Open access peer-reviewed

17. Augmented Marked Graphs and the Analysis of Shared Resource Systems

By King Sing Cheung


Open access peer-reviewed

18. Incremental Integer Linear Programming Models for Petri Nets Reachability Problems

By Thomas Bourdeaud'huy, Said Hanafi and Pascal Yim


Open access peer-reviewed

19. Using Transition Invariants for Reachability Analysis of Petri Nets

By Alexander Kostin


Open access peer-reviewed

20. Reliability Prediction and Sensitivity Analysis of Web Services Composition

By Duhang Zhong, Zhichang Qi and Xishan Xu


Open access peer-reviewed

21. Petri Nets for Component-Based Software Systems Development

By Leandro Dias da Silva, Kyller Gorgonio, and Angelo Perkusich


Open access peer-reviewed

22. Formalizing and Validating UML Architecture Description of Service-Oriented Applications

By Zhijiang Dong, Yujian Fu, Xudong He and Yue Fu


Open access peer-reviewed

23. Music Description and Processing: An Approach Based on Petri Nets and XML

By Adriano Barate


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