Petri Net Synthesis

• Main Authors: Badouel, Eric (Author), Bernardinello, Luca (Author), Darondeau, Philippe (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015.
• Edition: 1st ed. 2015.
• Series: Texts in Theoretical Computer Science. An EATCS Series,
• Subjects: Computer science.; Software engineering.; Computers.; Computer science > Mathematics.; Mathematical logic.; Computer Science.; Theory of Computation.; Mathematics of Computing.; Software Engineering/Programming and Operating Systems.; Mathematical Logic and Foundations.

This book is a comprehensive, systematic survey of the synthesis problem, and of region theory which underlies its solution, covering the related theory, algorithms, and applications. The authors focus on safe Petri nets and place/transition nets (P/T-nets), treating synthesis as an automated proces...