Title: Petri Nets for Modeling of Large Discrete Systems
Abstract: It gives me great pleasure to write a "foreword" for this wonderful book on Petri nets and an innovative approach to handling huge Petri net models using distributed computing so as to enable them to be fast enough for real-time control applications.Petri nets are handy for modeling discrete event systems.However, they suffer from some weaknesses, e.g., massive size, huge state space, and slow simulation.Due to the enormous state space, model checking a Petri net is difficult.Also, Petri nets are difficult to be used for real-time applications due to the slowness in simulation.Thus, this book suggests modular Petri nets as a way of overcoming these difficulties.In modular Petri nets, modules are designed, developed, and run independently.Also, the modules communicate with each other via inter-modular connectors.Hence, the bottom-up approach is suggested (starting with the modules and then combining them after thorough testing) for developing newer Petri net models.However, many Petri net models of real-life systems exist (legacy models), which are enormous and non-modular.These legacy models cannot be discarded as large amounts of time, effort, and money were spent developing these legacy models.In this case, the top-down approach is the only solution, which starts with the existing legacy models, decomposing them into modules, and then joining them together after testing them individually.This book presents both approaches centering around modules (known as "Petri modules").Petri modules are well defined for inter-modular collaboration.This book aims to introduce a methodology in which Petri nets are moved to a new level.In this new level, large Petri net models are made of Petri modules that are independent and run on different computers.Also, Petri modules communicate with each other using the inter-modular components (e.g., TCP/IP sockets).Thereby, the compact Petri modules run faster and, thus, become suitable for supervisory control of real-time systems.This book focuses on Petri modules.This book presents the literature study on modular Petri nets and definitions for the newer Petri modules.Also, algorithms for extracting Petri modules and algorithms for connecting Petri modules and applications are given in this book.The ideas and algorithms proposed in this book are