Badouel, Eric. author.; Bernardinello, Luca. author.; Darondeau, Philippe. author.; SpringerLink (Online service)
(Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015., 2015)
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 ...