Petri Nets - Manufacturing and Computer Science
Editor
- Pawel Pawlewski
Abstract
Individual chapters are listed in the "Chapters" tab
Suggested Citation
DOI: 10.5772/2578
Download full text from publisher
As the access to this document is restricted, you may want to search for a different version of it.
Book Chapters
The following chapters of this book are listed in IDEAS- Yen-Liang Pan, 2012. "A Computationally Improved Optimal Solution for Deadlocked Problems of Flexible Manufacturing Systems Using Theory of Regions," Chapters, in: Pawel Pawlewski (ed.), Petri Nets - Manufacturing and Computer Science, IntechOpen.
- Belhassen Mazigh & Abdeljalil Abbas-Turki, 2012. "Specifying and Verifying Holonic Multi-Agent Systems Using Stochastic Petri Net and Object-Z: Application to Industrial Maintenance Organizations," Chapters, in: Pawel Pawlewski (ed.), Petri Nets - Manufacturing and Computer Science, IntechOpen.
- Chongyi Yuan, 2012. "Workflow Modelling Based on Synchrony," Chapters, in: Pawel Pawlewski (ed.), Petri Nets - Manufacturing and Computer Science, IntechOpen.
- Gen'Ichi Yasuda, 2012. "Implementation of Distributed Control Architecture for Multiple Robot Systems Using Petri Nets," Chapters, in: Pawel Pawlewski (ed.), Petri Nets - Manufacturing and Computer Science, IntechOpen.
- Liangbing Feng & Masanao Obayashi & Takashi Kuremoto & Kunikazu Kobayashi, 2012. "Construction and Application of Learning Petri Net," Chapters, in: Pawel Pawlewski (ed.), Petri Nets - Manufacturing and Computer Science, IntechOpen.
- Tiago Facchin & Miguel Sellitto, 2012. "Measurement of Work-in-Process and Manufacturing Lead Time by Petri Nets Modeling and Throughput Diagram," Chapters, in: Pawel Pawlewski (ed.), Petri Nets - Manufacturing and Computer Science, IntechOpen.
- Pece J. Mitrevski & Zoran Kotevski, 2012. "Fluid Stochastic Petri Nets: From Fluid Atoms in ILP Processor Pipelines to Fluid Atoms in P2P Streaming Networks," Chapters, in: Pawel Pawlewski (ed.), Petri Nets - Manufacturing and Computer Science, IntechOpen.
- Dejan Gradisar & Gasper Music, 2012. "Automated Petri-Net Modelling for Batch Production Scheduling," Chapters, in: Pawel Pawlewski (ed.), Petri Nets - Manufacturing and Computer Science, IntechOpen.
- Ivo Martinik, 2012. "Sequential Object Petri Nets and the Modeling of Multithreading Object-Oriented Programming Systems," Chapters, in: Pawel Pawlewski (ed.), Petri Nets - Manufacturing and Computer Science, IntechOpen.
- Iwona Grobelna, 2012. "Control Interpreted Petri Nets - Model Checking and Synthesis," Chapters, in: Pawel Pawlewski (ed.), Petri Nets - Manufacturing and Computer Science, IntechOpen.
- Samir Hamaci & A-Moumen Darcherif & Karim Labadi & Taha Benarbia, 2012. "Petri Nets Models for Analysis and Control of Public Bicycle-Sharing Systems," Chapters, in: Pawel Pawlewski (ed.), Petri Nets - Manufacturing and Computer Science, IntechOpen.
- Samir Hamaci & Karim Labadi, 2012. "Performance Evaluation of Timed Petri Nets in Dioid Algebra," Chapters, in: Pawel Pawlewski (ed.), Petri Nets - Manufacturing and Computer Science, IntechOpen.
- Sangita Kansal & Mukti Acharya & Gajendra Pratap Singh, 2012. "Boolean Petri Nets," Chapters, in: Pawel Pawlewski (ed.), Petri Nets - Manufacturing and Computer Science, IntechOpen.
- GiBum Lee & Han Zandong & Jin S. Lee, 2012. "Reachability Criterion with Sufficient Test Space for Ordinary Petri Net," Chapters, in: Pawel Pawlewski (ed.), Petri Nets - Manufacturing and Computer Science, IntechOpen.
- Hussein Abd El-Sattar, 2012. "State of the Art in Interactive Storytelling Technology: An Approach Based on Petri Nets," Chapters, in: Pawel Pawlewski (ed.), Petri Nets - Manufacturing and Computer Science, IntechOpen.
- Parisa Heidari & Hanifa Boucheneb, 2012. "A Forward On-The-Fly Approach in Controller Synthesis of Time Petri Nets," Chapters, in: Pawel Pawlewski (ed.), Petri Nets - Manufacturing and Computer Science, IntechOpen.
- Wlodek Zuberek, 2012. "Timed Petri Nets in Performance Exploration of Simultaneous Multithreading," Chapters, in: Pawel Pawlewski (ed.), Petri Nets - Manufacturing and Computer Science, IntechOpen.
- Julian Araujo & Gustavo Callou & Paulo Romero Martins Maciel & Dietmar Tutsch & Carlos Araujo & Joao Ferreira & Rafael Souza, 2012. "A Petri Net-Based Approach to the Quantification of Data Center Dependability," Chapters, in: Pawel Pawlewski (ed.), Petri Nets - Manufacturing and Computer Science, IntechOpen.
- Sherzod Turaev & Juergen Dassow & Gairatzhan Mavlankulov & Mohamed Othman & Mohd Hasan Selamat & Ralf Stiebe, 2012. "Grammars Controlled by Petri Nets," Chapters, in: Pawel Pawlewski (ed.), Petri Nets - Manufacturing and Computer Science, IntechOpen.
- Jose Reinaldo Silva & Pedro M. G. Del Foyo, 2012. "Timed Petri Nets," Chapters, in: Pawel Pawlewski (ed.), Petri Nets - Manufacturing and Computer Science, IntechOpen.
- Razib Hayat Khan & Poul E Heegaard & Kazi Wali Ullah, 2012. "Performance Evaluation of Distributed System Using SPN," Chapters, in: Pawel Pawlewski (ed.), Petri Nets - Manufacturing and Computer Science, IntechOpen.
More about this item
JEL classification:
- C60 - Mathematical and Quantitative Methods - - Mathematical Methods; Programming Models; Mathematical and Simulation Modeling - - - General
Statistics
Access and download statisticsCorrections
All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:ito:pbooks:2398. See general information about how to correct material in RePEc.
If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.
We have no bibliographic references for this item. You can help adding them by using this form .
If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.
For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: Slobodan Momcilovic (email available below). General contact details of provider: http://www.intechopen.com .
Please note that corrections may take a couple of weeks to filter through the various RePEc services.