Haisheng Wang, Liviu Grigore, Ugo Buy, Mihai Lehene, Houshang Darabi. Enforcing Periodic Transition Deadlines in Time Petri Nets With Net Unfoldings. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 41(3):522-539, 2011. [doi]
Abstract is missing.