GMA

Frey, G.; Litz L.: Entwurf und formale Verifikation von Steuerungen mit interpretierten Petri-Netzen. Proceedings of the GMA-Kongress Mess- und Automatisierungstechnik "Neue Entwicklungen Technologie Anwendungen", Ludwigsburg, Germany, Jun. 1998; published in: VDI Berichte 1397, VDI-Verlag, pp. 291-298, Düsseldorf, Germany, 1998.