Compositional partial order semantics of Petri boxes

Hans-Günther Linde-Göers. Compositional partial order semantics of Petri boxes. PhD thesis, University of Hildesheim, Germany, 1994. [doi]

Abstract

Abstract is missing.