**Meet the editor**

Paweł Pawlewski, PhD, is Assistant Professor at the Faculty of Engineering Management at Poznan University of Technology. His area of interest comprises: modeling, process simulation and optimization, organization of manufacturing processes, operational management, reengineering and IT applications in logistics. He is the author or co-author of more than 100 scientific

papers. He is also co-author of the book "Reengineering". In 1994-2008 he managed a team performing a software for design and optimization of mechanical structures implemented among other things in VW-Wolsburg, VW-Shanghai, Audi-Ingolstadt, Seat-Barcelona, Porsche-Stuttgart, BMW– Munchen. All actions were taken within vMACH Engineering company. In 2009-2011 he cooperated with AMC Polska company in the scope of process simulation and optimization with the usage of Witness. Since 2011 he is a Manager of Simulation and Optimization Center in Logistic and Production Processes (SOCILAPP) at Poznan University of Technology. Habilitation dissertation titled "Methodology of modeling dynamic changes of production process' resource structure in mechanical engineering industry" is under accreditation procedure. Since 2011 he cooperates with Cempel Consulting. He is also a Flexsim Software Products Inc. (USA) Partner in Poland. Since 2012 he is member of Editorial Board (as Associate Editor) of International Journal of Artificial Intelligence (IJAI).

Contents

**Preface IX** 

Yen-Liang Pan

Gen'ichi Yasuda

Chongyi Yuan

Chapter 8 **Control Interpreted Petri Nets –** 

Iwona Grobelna

Chapter 1 **Automated Petri-Net Modelling** 

**for Batch Production Scheduling 3**  Dejan Gradišar and Gašper Mušič

Chapter 3 **A Computationally Improved Optimal Solution** 

**Systems Using Theory of Regions 51** 

Chapter 4 **Implementation of Distributed Control Architecture** 

Tiago Facchin and Miguel Afonso Sellitto

Chapter 6 **Workflow Modelling Based on Synchrony 107** 

Liangbing Feng, Masanao Obayashi, Takashi Kuremoto and Kunikazu Kobayashi

**Model Checking and Synthesis 177** 

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

**for Deadlocked Problems of Flexible Manufacturing** 

**for Multiple Robot Systems Using Petri Nets 75** 

Chapter 5 **Measurement of Work-in-Process and Manufacturing Lead** 

Chapter 7 **Construction and Application of Learning Petri Net 143** 

**Time by Petri Nets Modeling and Throughput Diagram 95** 

**Section 1 Manufacturing 1** 
