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