Open access peer-reviewed Edited volume

Petri Nets

Manufacturing and Computer Science

Petri Nets were introduced in the doctoral dissertation by K.A. Petri, titled "Kommunikation mit Automaten" and published in 1962 by University of Bonn. Petri Nets are graphical (the intuitive graphical modeling language) and mathematical (advanced formal analysis method) tool. The concurrence of performed actions is the natural phenomenon due to which Petri Nets are perceived as mathematical tool for modeling concurrent systems. The main idea of this theory was modified by many researchers according to their needs, owing to the unusual "flexibility" of this theory. The present monograph focuses on Petri Nets applications in two main areas: manufacturing (section 1) and computer science (section 2). These two areas have still huge influence on our lives and our world. The theory of Petri Nets is still developing: some directions of investigations are presented in section 3. And at the end there is section 4 including some infesting facts concerning application of Petri Nets in the public area: the analysis and control of public bicycle sharing systems. The monograph shows the results of research works performed with use of Petri Nets in science centers all over the world.

Read more >Order hardcopy
IntechOpen
Petri NetsManufacturing and Computer ScienceEdited by Pawel Pawlewski

Published: August 29th 2012

DOI: 10.5772/2578

ISBN: 978-953-51-0700-2

Books open for chapter submissions

30839 Total Chapter Downloads

22 Crossref Citations

35 Web of Science Citations

46 Dimensions Citations

chaptersDownloads

Open access peer-reviewed

1. Automated Petri-Net Modelling for Batch Production Scheduling

By Dejan Gradišar and Gašper Mušič

1129

Open access peer-reviewed

2. Specifying and Verifying Holonic Multi-Agent Systems Using Stochastic Petri Net and Object-Z: Application to Industrial Maintenance Organizations

By Belhassen Mazigh and Abdeljalil Abbas-Turki

1238

Open access peer-reviewed

3. A Computationally Improved Optimal Solution for Deadlocked Problems of Flexible Manufacturing Systems Using Theory of Regions

By Yen-Liang Pan

1006

Open access peer-reviewed

4. Implementation of Distributed Control Architecture for Multiple Robot Systems Using Petri Nets

By Gen'ichi Yasuda

1066

Open access peer-reviewed

5. Measurement of Work-in-Process and Manufacturing Lead Time by Petri Nets Modeling and Throughput Diagram

By Tiago Facchin and Miguel Afonso Sellitto

5984

Open access peer-reviewed

6. Workflow Modelling Based on Synchrony

By Chongyi Yuan

824

Open access peer-reviewed

7. Construction and Application of Learning Petri Net

By Liangbing Feng, Masanao Obayashi, Takashi Kuremoto and Kunikazu Kobayashi

1922

Open access peer-reviewed

8. Control Interpreted Petri Nets - Model Checking and Synthesis

By Iwona Grobelna

1330

Open access peer-reviewed

9. Sequential Object Petri Nets and the Modeling of Multithreading Object-Oriented Programming Systems

By Ivo Martiník

804

Open access peer-reviewed

10. Fluid Stochastic Petri Nets: From Fluid Atoms in ILP Processor Pipelines to Fluid Atoms in P2P Streaming Networks

By Pece Mitrevski and Zoran Kotevski

779

Open access peer-reviewed

11. Performance Evaluation of Distributed System Using SPN

By Razib Hayat Khan, Poul E. Heegaard and Kazi Wali Ullah

1135

Open access peer-reviewed

12. State of the Art in Interactive Storytelling Technology: An Approach Based on Petri Nets

By Hussein Karam Hussein Abd El-Sattar

1815

Open access peer-reviewed

13. Timed Petri Nets in Performance Exploration of Simultaneous Multithreading

By Wlodek M. Zuberek

1025

Open access peer-reviewed

14. A Petri Net-Based Approach to the Quantification of Data Center Dependability

By Gustavo Callou, Paulo Maciel, Dietmar Tutsch, Julian Araújo, João Ferreira and Rafael Souza

2012

Open access peer-reviewed

15. Grammars Controlled by Petri Nets

By J. Dassow, G. Mavlankulov, M. Othman, S. Turaev, M.H. Selamat and R. Stiebe

1356

Open access peer-reviewed

16. Timed Petri Nets

By José Reinaldo Silva and Pedro M. G. del Foyo

2217

Open access peer-reviewed

17. Boolean Petri Nets

By Sangita Kansal, Mukti Acharya and Gajendra Pratap Singh

1114

Open access peer-reviewed

18. Performance Evaluation of Timed Petri Nets in Dioid Algebra

By Samir Hamaci, Karim Labadi and A. Moumen Darcherif

810

Open access peer-reviewed

19. Reachability Criterion with Sufficient Test Space for Ordinary Petri Net

By Gi Bum Lee, Han Zandong and Jin S. Lee

778

Open access peer-reviewed

20. A Forward On-The-Fly Approach in Controller Synthesis of Time Petri Nets

By Parisa Heidari and Hanifa Boucheneb

734

Open access peer-reviewed

21. Petri Nets Models for Analysis and Control of Public Bicycle-Sharing Systems

By Karim Labadi, Taha Benarbia, Samir Hamaci and A-Moumen Darcherif

1761

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)£170

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