Marek Leszak, Horst Eggert. Petri-Netz-Methoden und -Werkzeuge: Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen. Volume 197 of Informatik-Fachberichte, Springer, 1989.
@book{LeszakE89, title = {Petri-Netz-Methoden und -Werkzeuge: Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen}, author = {Marek Leszak and Horst Eggert}, year = {1989}, researchr = {https://researchr.org/publication/LeszakE89}, cites = {0}, citedby = {0}, volume = {197}, series = {Informatik-Fachberichte}, publisher = {Springer}, isbn = {3-540-50642-X}, }