Morgan Magnin, Didier Lime, Olivier H. Roux. Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper). In Kees M. van Hee, Rüdiger Valk, editors, Applications and Theory of Petri Nets, 29th International Conference, PETRI NETS 2008, Xi an, China, June 23-27, 2008. Proceedings. Volume 5062 of Lecture Notes in Computer Science, pages 307-326, Springer, 2008. [doi]
Abstract is missing.