A Forward On-The-Fly Approach in Controller Synthesis of Time Petri Nets - Heidari, Parisa; Boucheneb, Hanifa (IntechOpen, 2012)
None