For the most recent entries see the Petri Nets Newsletter.

Heltzig, H.F.

Arendt, F.; Heltzig, H.F.; Kluehe, B.:
Modelling and Verification of Real-time Software Using Petri Nets. 1987.
Klühe, A.; Arendt, F.; Heltzig, H.F.:
Ergebnisse der Verifikation der Mikrorechner-Kommunikations-Software (MKS) mit Petri Netzen. 1987.
Heltzig, H.F.; König, R.:
Zur Modellierung digitaler Schaltungen mit Hilfe von Petri-Netzen. 1984.
Heltzig, H.F.:
Zum Problem der Resourcenoptimierung für Informationsverarbeitungsprozesse auf der Basis von Petri-Netzen. 1982.
Heltzig, H.F.; König, R.:
To the Problem of the Software Development of Controls on Base of Petri Nets. 1980.

Do you need a refined search? Try our search engine which allows complex field-based queries.
Are you trying to get in contact with an author? Try our database of Petri net researchers.

Back to the Petri Nets Bibliography