Supervisory Control of Time Petri Nets Using Net Unfolding. - Ugo A. Buy; Houshang Darabi; Mihai Lehene; Vikram Venepally (COMPSAC (2), 2005)

Latency-Based Supervisors for Enforcing Deadlines in Time Petri Nets. - Ugo A. Buy; Mihai Lehene; Houshang Darabi (SEW, 2005)

Enforcing Periodic Transition Deadlines in Time Petri Nets With Net Unfoldings. - Haisheng Wang; Liviu Grigore; Ugo A. Buy; Mihai Lehene; Houshang Darabi (IEEE Trans. Syst. Man Cybern. Part A, 2011)