Prädikat/Transitions-Netz-Condition/Event-Systeme zur Modellierung von Kommunikationssystemen. - Arndt Lüder; E. Hintze; A. Pöschmann; Hans-Michael Hanisch (FBT, 1998)