Petri-Netz-Methoden und -Werkzeuge: Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen

Marek Leszak, Horst Eggert. Petri-Netz-Methoden und -Werkzeuge: Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen. Volume 197 of Informatik-Fachberichte, Springer, 1989.

Abstract

Abstract is missing.