Compositional semantics for open Petri nets based on deterministic processe

Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel. Compositional semantics for open Petri nets based on deterministic processe. Mathematical Structures in Computer Science, 15(1):1-35, 2005. [doi]

Abstract

Abstract is missing.