Enforcing Periodic Transition Deadlines in Time Petri Nets With Net Unfoldings.

Sat, 01 Jan 2011 00:00:00 +0100

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