Enforcing transition deadlines in time Petri nets. - Haisheng Wang; Liviu Grigore; Ugo A. Buy; Houshang Darabi (ETFA, 2007)

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)