Petri Net Synthesis by Eric Badouel, Luca Bernardinello, Philippe Darondeau.
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...
Full description
Saved in: