Petri net reactive modules (Inst. für Informatik, 1999)