In: Messen, Steuern, Regeln; Vol. 33, No. 6, pages 257-261. 1990. In German.
Abstract: Das vorgestellte software-interpretierte Netz (SIN) gestattet es, auch die Datenabhängigkeiten von Programmen im Modell zu beschreiben. Es wird gezeigt, wie sich SIN-Modelle von Programmen der betrachteten Problemklasse durch Transformation in (uninterpretierte) Petri-Netze überführen lassen. Die Eignung der Methode zur Lösung praktisch relevanter Probleme wird nachgewiesen.
Keywords: (verification of) parallel software system(s); sortware-interpreted net; net transformation.