Changyou Liu, Yongjian Li. Study on real-time discrete event systems by using controlled temporal timed-Petri-nets. In 42nd IEEE Conference on Decision and Control, CDC 2003, Maui, Hawaii, USA, December 9-12, 2003. pages 5113-5117, IEEE, 2003. [doi]
Abstract is missing.