Open access peer-reviewed Edited volume

Petri Net

Theory and Applications

Edited by Vedran Kordic

Vienna University of Technology, 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
IntechOpen
Petri NetTheory and ApplicationsEdited by Vedran Kordic

Published: February 1st 2008

DOI: 10.5772/62146

ISBN: 978-3-902613-12-7

Copyright year: 2008

Books open for chapter submissions

49698 Total Chapter Downloads

22 Crossref Citations

45 Web of Science Citations

55 Dimensions Citations

chaptersDownloads

Open access peer-reviewed

1. Petri Net Transformations

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

3322

Open access peer-reviewed

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

By Marcin Szpyrka

1840

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

2014

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

2236

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

1760

Open access peer-reviewed

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

By Latefa Ghomri and Hassane Alla

2816

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

2623

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

2659

Open access peer-reviewed

9. Model Checking of Time Petri Nets

By Hanifa Boucheneb and Rachid Hadjidj

2303

Open access peer-reviewed

10. A Linear Logic Based Approach to Timed Petri Nets

By Norihiro Kamide

2082

Open access peer-reviewed

11. From Time Petri Nets to Timed Automata

By Franck Cassez and Olivier H. Roux

1837

Open access peer-reviewed

12. Timed Hierarchical Object-Oriented Petri Net

By Hua Xu

2111

Open access peer-reviewed

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

By Jong kun Lee and Ouajdi Korbaa

2108

Open access peer-reviewed

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

By Nicholas G. Odrey

1607

Open access peer-reviewed

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

By Tomasz Babczyński and Jan Magott

1847

Open access peer-reviewed

16. Diagnosis of Discrete Event Systems with Petri Nets

By Dimitri Lefebvre

1970

Open access peer-reviewed

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

By King Sing Cheung

1717

Open access peer-reviewed

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

By Thomas Bourdeaud'huy, Said Hanafi and Pascal Yim

1931

Open access peer-reviewed

19. Using Transition Invariants for Reachability Analysis of Petri Nets

By Alexander Kostin

2768

Open access peer-reviewed

20. Reliability Prediction and Sensitivity Analysis of Web Services Composition

By Duhang Zhong, Zhichang Qi and Xishan Xu

1845

Open access peer-reviewed

21. Petri Nets for Component-Based Software Systems Development

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

2401

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

1869

Open access peer-reviewed

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

By Adriano Barate

2032

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