**A Forward On-The-Fly Approach in Controller Synthesis of Time Petri Nets**

Parisa Heidari and Hanifa Boucheneb

Additional information is available at the end of the chapter

http://dx.doi.org/10.5772/47744
