Jonathan Hayman, Glynn Winskel. The unfolding of general Petri nets. In Ramesh Hariharan, Madhavan Mukund, V. Vinay, editors, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2008, December 9-11, 2008, Bangalore, India. Volume 08004 of Dagstuhl Seminar Proceedings, pages 223-234, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2008. [doi]
Abstract is missing.