Petri net synthesis (Q897109)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Petri net synthesis
scientific article

    Statements

    Petri net synthesis (English)
    0 references
    0 references
    0 references
    0 references
    16 December 2015
    0 references
    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.
    0 references
    0 references
    Petri net synthesis
    0 references
    region theory
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references