Höhere Petri-Netze - ein Werkzeug für Modellierung und Analyse verteilter Systeme und paralleler Datenverarbeitungsprozesse / High level Petri nets, a tool for modelling and analysis of distributed systems.