Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets

Thomas Chatain, Claude Jard. Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets. In Susanna Donatelli, P. S. Thiagarajan, editors, Petri Nets and Other Models of Concurrency - ICATPN 2006, 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings. Volume 4024 of Lecture Notes in Computer Science, pages 125-145, Springer, 2006. [doi]

Abstract

Abstract is missing.