Eike Best Hans-Günther Linde-Göers Compositional Process Semantics of Petri Boxes. 250-270 1993 conf/mfps/1993 MFPS db/conf/mfps/mfps1993.html#BestL93 https://doi.org/10.1007/3-540-58027-1_12