Ein Vorschlag für die Erweiterung von Prädikats-Trasitions-Netzen zur Spezifikation komplexer Anwendungen. - Peter Liggesmeyer; L. Sturm (Angew. Inform., 1988)