Mila E. Majster-Cederbaum, Christoph Minnameier. Deriving Complexity Results for Interaction Systems from 1-Safe Petri Nets. In Viliam Geffert, Juhani Karhumäki, Alberto Bertoni, Bart Preneel, Pavol Návrat, Mária Bieliková, editors, SOFSEM 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008, Proceedings. Volume 4910 of Lecture Notes in Computer Science, pages 352-363, Springer, 2008. [doi]
Abstract is missing.