Monter d'un niveau |
Heidari, P., & Boucheneb, H. (2013). Controller synthesis of time petri nets using stopwatch. Journal of Engineering, 2013, 970487 (13 pages). Disponible
Heidari, P., & Boucheneb, H. (2013). Maximally permissive controller synthesis for time Petri nets. International Journal of Control, 86(3), 493-511. Lien externe
Heidari, P. (2012). A Forward On-The-Fly Approach for Safety and Reachability Controller Synthesis of Timed Systems [Thèse de doctorat, École Polytechnique de Montréal]. Disponible
Heidari, P. (2007). Hypervisors and virtual systems tracing for performance analysis [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible