Operational semantics for Petri net components

Jan Friso Groote, Marc Voorhoeve. Operational semantics for Petri net components. Theoretical Computer Science, 379(1-2):1-19, 2007. [doi]

Abstract

Abstract is missing.