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

ISBN: 978-3-902613-12-7

Copyright year: 2008

Books open for chapter submissions

50872 Total Chapter Downloads

24 Crossref Citations

45 Web of Science Citations

56 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

3402

Open access peer-reviewed

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

By Marcin Szpyrka

1877

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

2091

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

2291

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

1821

Open access peer-reviewed

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

By Latefa Ghomri and Hassane Alla

2872

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

2666

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

2739

Open access peer-reviewed

9. Model Checking of Time Petri Nets

By Hanifa Boucheneb and Rachid Hadjidj

2348

Open access peer-reviewed

10. A Linear Logic Based Approach to Timed Petri Nets

By Norihiro Kamide

2117

Open access peer-reviewed

11. From Time Petri Nets to Timed Automata

By Franck Cassez and Olivier H. Roux

1872

Open access peer-reviewed

12. Timed Hierarchical Object-Oriented Petri Net

By Hua Xu

2149

Open access peer-reviewed

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

By Jong kun Lee and Ouajdi Korbaa

2179

Open access peer-reviewed

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

By Nicholas G. Odrey

1639

Open access peer-reviewed

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

By Tomasz Babczyński and Jan Magott

1885

Open access peer-reviewed

16. Diagnosis of Discrete Event Systems with Petri Nets

By Dimitri Lefebvre

2003

Open access peer-reviewed

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

By King Sing Cheung

1766

Open access peer-reviewed

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

By Thomas Bourdeaud'huy, Said Hanafi and Pascal Yim

1971

Open access peer-reviewed

19. Using Transition Invariants for Reachability Analysis of Petri Nets

By Alexander Kostin

2833

Open access peer-reviewed

20. Reliability Prediction and Sensitivity Analysis of Web Services Composition

By Duhang Zhong, Zhichang Qi and Xishan Xu

1904

Open access peer-reviewed

21. Petri Nets for Component-Based Software Systems Development

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

2449

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

1903

Open access peer-reviewed

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

By Adriano Barate

2095

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