Philippe Darondeau

• Petri Net Synthesis
• Applications and Theory of Petri Nets 2005