Contents

## **Preface XIII**

**Section 1 Manufacturing 1**  Chapter 1 **Automated Petri-Net Modelling for Batch Production Scheduling 3**  Dejan Gradišar and Gašper Mušič Chapter 2 **Specifying and Verifying Holonic Multi-Agent Systems Using Stochastic Petri Net and Object-Z: Application to Industrial Maintenance Organizations 27**  Belhassen Mazigh and Abdeljalil Abbas-Turki Chapter 3 **A Computationally Improved Optimal Solution for Deadlocked Problems of Flexible Manufacturing Systems Using Theory of Regions 51**  Yen-Liang Pan Chapter 4 **Implementation of Distributed Control Architecture for Multiple Robot Systems Using Petri Nets 75**  Gen'ichi Yasuda Chapter 5 **Measurement of Work-in-Process and Manufacturing Lead Time by Petri Nets Modeling and Throughput Diagram 95**  Tiago Facchin and Miguel Afonso Sellitto Chapter 6 **Workflow Modelling Based on Synchrony 107**  Chongyi Yuan Chapter 7 **Construction and Application of Learning Petri Net 143**  Liangbing Feng, Masanao Obayashi, Takashi Kuremoto and Kunikazu Kobayashi Chapter 8 **Control Interpreted Petri Nets – Model Checking and Synthesis 177**  Iwona Grobelna

X Contents


Contents VII

Chapter 20 **A Forward On-The-Fly Approach** 

Chapter 21 **Petri Nets Models for Analysis and** 

and A-Moumen Darcherif

**Section 4 Other 463** 

**in Controller Synthesis of Time Petri Nets 439**

**Control of Public Bicycle-Sharing Systems 465** Karim Labadi, Taha Benarbia, Samir Hamaci

Parisa Heidari and Hanifa Boucheneb


VI Contents

**Section 2 Computer Science 193**

Ivo Martiník

Chapter 10 **Fluid Stochastic Petri Nets:** 

Chapter 11 **Performance Evaluation** 

Chapter 9 **Sequential Object Petri Nets and the Modeling of** 

Pece Mitrevski and Zoran Kotevski

Chapter 13 **Timed Petri Nets in Performance Exploration of Simultaneous Multithreading 299** 

Chapter 15 **Grammars Controlled by Petri Nets 337**

Wlodek M. Zuberek

Chapter 14 **A Petri Net-Based Approach to** 

Chapter 16 **Timed Petri Nets 359**

Chapter 17 **Boolean Petri Nets 381** 

Chapter 18 **Performance Evaluation** 

Chapter 19 **Reachability Criterion with** 

**Section 3 Theory 379**

**From Fluid Atoms in ILP Processor Pipelines to Fluid Atoms in P2P Streaming Networks 225**

**of Distributed System Using SPN 257** 

Chapter 12 **State of the Art in Interactive Storytelling Technology: An Approach Based on Petri Nets 283** Hussein Karam Hussein Abd El-Sattar

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

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

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

**of Timed Petri Nets in Dioid Algebra 407** 

Gi Bum Lee, Han Zandong and Jin S. Lee

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

**the Quantification of Data Center Dependability 313** 

Sangita Kansal, Mukti Acharya and Gajendra Pratap Singh

Samir Hamaci, Karim Labadi and A. Moumen Darcherif

**Sufficient Test Space for Ordinary Petri Net 423**

**Multithreading Object-Oriented Programming Systems 195**

Chapter 21 **Petri Nets Models for Analysis and Control of Public Bicycle-Sharing Systems 465**  Karim Labadi, Taha Benarbia, Samir Hamaci and A-Moumen Darcherif

Preface

distribution of power.

Manufacturing and Computer Science – these are major usage fields for applications

Manufacturing, i.e. producing goods, is one of the realms of human activity which has greatly affected the development of civilization. Over centuries, the large-scale manufacturing of goods changed the social relations, created new lifestyles and contributed to the improvement of life conditions of whole societies. The economic development has become an objective realized by states and commonwealths of states. It includes both quantitative changes referring to the growth in production, employment, investments, the scale of operating capital, incomes, consumption as well as other economic values describing the quantitative character of the economy (economic growth) and qualitative changes (changes in the organization of society). The improvement of life standards, the increase in production, a better social situation and greater public security are the basic benefits resulting from economic growth and development. Nowadays, owing to the increasingly complex products and technologies, the manufacturing still strongly stimulates development. It considerably affects other fields, e.g. computer science, as it creates new challenges. The role of production in the world is still crucial. When comparing the crisis in the automotive industry with the IT companies crisis (the so-called dot-com bubble burst), we can see that the first one had a more widespread effect over the world. The growing role of China, the leader in the scale and growth of production, changes the global

Department of Management Engineering, Poznan University of Technology,

**Pawel Pawlewski**

Poznan, Poland

using Petri Nets, which are the subject of the present monograph.
