A compositional dataflow semantics for Petri nets
We give a semantics for place/transition nets, which describes the input/output behaviour using fixed point techniques. The semantics is shown to be compositional w.r.t. the net operators parallel composition, feedback and output merging. We prove consistency with the step sequence semantics and thus give an equivalent operational semantics.
scientific article; zbMATH DE number 818360