Applies to all print copies | Offer ends Dec 20th

Open access peer-reviewed Edited Volume

Petri Nets

Manufacturing and Computer Science

Edited by Pawel Pawlewski

Poznań University of Technology, Poland

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
Petri NetsManufacturing and Computer ScienceEdited by Pawel Pawlewski

Published: August 29th 2012

DOI: 10.5772/2578

ISBN: 978-953-51-0700-2

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

Copyright year: 2012

Books open for chapter submissions

48747 Total Chapter Downloads

36 Crossref Citations

58 Web of Science Citations

69 Dimensions Citations


Open access peer-reviewed

1. Automated Petri-Net Modelling for Batch Production Scheduling

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


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


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


Open access peer-reviewed

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

By Gen'ichi Yasuda


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


Open access peer-reviewed

6. Workflow Modelling Based on Synchrony

By Chongyi Yuan


Open access peer-reviewed

7. Construction and Application of Learning Petri Net

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


Open access peer-reviewed

8. Control Interpreted Petri Nets - Model Checking and Synthesis

By Iwona Grobelna


Open access peer-reviewed

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

By Ivo Martiník


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


Open access peer-reviewed

11. Performance Evaluation of Distributed System Using SPN

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


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


Open access peer-reviewed

13. Timed Petri Nets in Performance Exploration of Simultaneous Multithreading

By Wlodek M. Zuberek


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


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


Open access peer-reviewed

16. Timed Petri Nets

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


Open access peer-reviewed

17. Boolean Petri Nets

By Sangita Kansal, Mukti Acharya and Gajendra Pratap Singh


Open access peer-reviewed

18. Performance Evaluation of Timed Petri Nets in Dioid Algebra

By Samir Hamaci, Karim Labadi and A. Moumen Darcherif


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


Open access peer-reviewed

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

By Parisa Heidari and Hanifa Boucheneb


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


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 Rate based on their country of residence. 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