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]

Authors

Jan Friso Groote

Identified as Jan Friso Groote

Marc Voorhoeve

This author has not been identified. Look up 'Marc Voorhoeve' in Google