Arndt Lüder E. Hintze A. Pöschmann Hans-Michael Hanisch Prädikat/Transitions-Netz-Condition/Event-Systeme zur Modellierung von Kommunikationssystemen. 100-111 1998 conf/fbt/1998 FBT db/conf/fbt/fbt1998.html#LuderHPH98