Operational semantics for the Petri Box Calculus - Koutny, Maciej; Esparza, Javier 1964-; Best, Eike 1951- (Inst. für Informatik, 1993)