Thomas Chatain, Claude Jard. Time Supervision of Concurrent Systems Using Symbolic Unfoldings of Time Petri Nets. In Paul Pettersson, Wang Yi, editors, Formal Modeling and Analysis of Timed Systems, Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings. Volume 3829 of Lecture Notes in Computer Science, pages 196-210, Springer, 2005. [doi]
Abstract is missing.