Petri-Netz-Methoden und -Werkzeuge
Subtitle: Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen
By: M. Leszak, H. Eggert.
Contributors: Eggert, H.
Series: Informatik-Fachberichte ;; 197
Publisher: Springer
Published: 1989
Place of publication: Berlin; New York
Language: ger
Number of pages: 254
Subjects: System design.; Petri nets.
Notes: Includes bibliographical references.
"Glossar": p. [231]-247.