Petri Nets - Manufacturing and Computer Science

Pawlewski, Pawel

Petri Nets - Manufacturing and Computer Science

Edited by Pawel Pawlewski

Abstract: 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.

JEL-codes: C60 (search for similar items in EconPapers)
Date: 2012
ISBN: 978-953-51-0700-2
References: Add references at CitEc
Citations:

Downloads: (external link)
https://www.intechopen.com/books/2398 (text/html)
Book downloadable chapter-by-chapter

Chapters in this book:

A Computationally Improved Optimal Solution for Deadlocked Problems of Flexible Manufacturing Systems Using Theory of Regions: Yen-Liang Pan
A Forward On-The-Fly Approach in Controller Synthesis of Time Petri Nets: Parisa Heidari and Hanifa Boucheneb
A Petri Net-Based Approach to the Quantification of Data Center Dependability: Julian Araujo, Gustavo Callou, Paulo Romero Martins Maciel, Dietmar Tutsch, Carlos Araujo, Joao Ferreira and Rafael Souza
Automated Petri-Net Modelling for Batch Production Scheduling: Dejan Gradisar and Gasper Music
Boolean Petri Nets: Sangita Kansal, Mukti Acharya and Gajendra Pratap Singh
Construction and Application of Learning Petri Net: Liangbing Feng, Masanao Obayashi, Takashi Kuremoto and Kunikazu Kobayashi
Control Interpreted Petri Nets - Model Checking and Synthesis: Iwona Grobelna
Fluid Stochastic Petri Nets: From Fluid Atoms in ILP Processor Pipelines to Fluid Atoms in P2P Streaming Networks: Pece J. Mitrevski and Zoran Kotevski
Grammars Controlled by Petri Nets: Sherzod Turaev, Juergen Dassow, Gairatzhan Mavlankulov, Mohamed Othman, Mohd Hasan Selamat and Ralf Stiebe
Implementation of Distributed Control Architecture for Multiple Robot Systems Using Petri Nets: Gen\'Ichi Yasuda
Measurement of Work-in-Process and Manufacturing Lead Time by Petri Nets Modeling and Throughput Diagram: Tiago Facchin and Miguel Sellitto
Performance Evaluation of Distributed System Using SPN: Razib Hayat Khan, Poul E Heegaard and Kazi Wali Ullah
Performance Evaluation of Timed Petri Nets in Dioid Algebra: Samir Hamaci and Karim Labadi
Petri Nets Models for Analysis and Control of Public Bicycle-Sharing Systems: Samir Hamaci, A-Moumen Darcherif, Karim Labadi and Taha Benarbia
Reachability Criterion with Sufficient Test Space for Ordinary Petri Net: GiBum Lee, Han Zandong and Jin S. Lee
Sequential Object Petri Nets and the Modeling of Multithreading Object-Oriented Programming Systems: Ivo Martinik
Specifying and Verifying Holonic Multi-Agent Systems Using Stochastic Petri Net and Object-Z: Application to Industrial Maintenance Organizations: Belhassen Mazigh and Abdeljalil Abbas-Turki
State of the Art in Interactive Storytelling Technology: An Approach Based on Petri Nets: Hussein Abd El-Sattar
Timed Petri Nets: Jose Reinaldo Silva and Pedro M. G. Del Foyo
Timed Petri Nets in Performance Exploration of Simultaneous Multithreading: Wlodek Zuberek
Workflow Modelling Based on Synchrony: Chongyi Yuan

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:ito:pbooks:2398

DOI: 10.5772/2578

Access Statistics for this book

More books in Books from IntechOpen
Bibliographic data for series maintained by Slobodan Momcilovic ().