Haisheng Wang, Liviu Grigore, Ugo Buy, Houshang Darabi. Enforcing transition deadlines in time Petri nets. In Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2007, September 25-28, 2007, Patras, Greece. pages 604-611, IEEE, 2007. [doi]
Abstract is missing.