Petri net synthesis (Q897109)

Petri net synthesis can be viewed as a transformation of a behavioral model into a structural description of a concurrent system in terms of a Petri net. Its origin was presented by \textit{A. Ehrenfeucht} and \textit{G. Rozenberg} [Acta Inf. 27, No. 4, 315--342 (1990; Zbl 0696.68082); ibid. 27, No. 4, 343--368 (1990; Zbl 0696.68083)]. They defined the notion of a region of a transition system and showed how to use them to synthesize elementary net systems from transition systems. Since then, the notions have been extended, generalized and adapted to different classes of Petri nets and to different initial specifications other than transition systems, such as finite or infinite languages over the alphabet of potential transitions of a Petri net. This book provides an impressive in-depth account of a wide range of the results and techniques for Petri net synthesis. It covers both theory and algorithms and provides a good insight into applications. It is valuable for novices as well as for researchers as a rich and reliable reference as well as a source of relevant research problems. All three authors made fundamental contributions to this research area. Sadly, Phillippe Darondeau passed away before the book was completed.