Petri Net Synthesis
เจเจธ เจ-เจเจฟเจคเจพเจฌ เจฌเจพเจฐเฉ
In Part I the authors introduce elementary net synthesis. In Part II they explain variations of elementary net synthesis and the unified theory of net synthesis. The first three chapters of Part III address the linear algebraic structure of regions, synthesis of P/T-nets from finite initialized transition systems, and the synthesis of unbounded P/T-nets. Finally, the last chapter inPart III and the chapters in Part IV cover more advanced topics and applications: P/T-net with the step firing rule, extracting concurrency from transition systems, process discovery, supervisory control, and the design of speed-independent circuits.
Most chapters conclude with exercises, and the book is a valuable reference for both graduate students of computer science and electrical engineering and researchers and engineers in this domain.
เจฒเฉเจเจ เจฌเจพเจฐเฉ
Dr. Eric Badouel is a researcher at IRISA/INRIA RennesโBretagne Atlantique in Rennes. His research interests include concurrency and Petri nets.
Dr. Luca Bernardinello is a researcher in the Dipartimento di Informatica, Sistemistica e Comunicazione of the Universitร degli studi di Milano-Bicocca. His research interests include concurrency and Petri nets.
Dr. Philippe Darondeau was a researcher at IRISA/INRIA RennesโBretagne Atlantique in Rennes. His research interests included concurrency and Petri nets. Dr. Darondeau passed away in 2013, during the final writing of the book.
