Eric Badouel Petri Net Synthesis - 1st ed. 2015 - Springer 2015 - Texts in Theoretical Computer Science. An EATCS Series . ISBN: 9783662479674 Subjects--Topical Terms: Computer ScienceTheory of Computation