GF_LL_GMA_june_98

Frey, G.; Litz L.:
Entwurf und formale Verifikation von Steuerungen mit interpretierten Petri-Netzen.
Tagungsband GMA-Kongreß'98 Mess- und Automatisierungstechnik "Neue Entwicklungen Technologie Anwendungen", Ludwigsburg, Juni 1998. VDI Berichte 1397, pp. 291-298, VDI-Verlag, Düsseldorf, 1998.

Im vorliegenden Beitrag wird ein Überblick über die Möglichkeiten der Steuerungsentwicklung mit interpretierten Petri-Netzen (IPN) gegeben. beim Steuerungsentwurf vorgestellt. Danach wird die IPN-Methodik in den vorgestellten Rahmen eingeordnet und an einem Beispiel erläutert.

Design and formal Verification of Logic Controllers by interpreted Petri Nets

In this paper an overview on the abilities in logic control design using interpreted Petri nets (IPN) is given. To start with, the control design process is presented in general to clear some fundamental terms. Then the IPN approach is discussed in the given framework and illustrated by an example.