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]
No references recorded for this publication.
No citations of this publication recorded.