Book
E. Badouel, L. Bernardinello, Ph. Darondeau.
Petri Net Synthesis
Springer, EATCS Series (2015)
Book Flyer