Operational Petri net semantics for CCSP - Olderog, Ernst-Rüdiger 1955- (1987)