Compositionality of Systems and Partially Ordered Runs

Peter Fettke, Wolfgang Reisig

In the late 1970s, C.A. Petri introduced partially ordered event occurrences (runs), then called \emph{processes}, as the appropriate model to describe the individual evolutions of…