Petri Net Synthesis - Badouel, Eric; Bernardinello, Luca; Darondeau, Philippe (Springer Berlin Heidelberg : Imprint: Springer, 2015)