Determinate STG Decomposition of Marked Graphs

Mark Schäfer, Walter Vogler, Petr Jancar. Determinate STG Decomposition of Marked Graphs. In Gianfranco Ciardo, Philippe Darondeau, editors, Applications and Theory of Petri Nets 2005, 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005, Proceedings. Volume 3536 of Lecture Notes in Computer Science, pages 365-384, Springer, 2005. [doi]

Abstract

Abstract is missing.