For the most recent entries see the Petri Nets Newsletter.

Design and formal Verification of Logic Controllers by interpreted Petri Nets.

Frey, G.; Litz, L.

In: Proceedings of the GMA-Kongress '98 Mess- und Automatisierungstechnik "Neue Entwicklungen Technologie Anwendungen", Ludwigsburg (Germany) VDI Berichte 1397, pages 291-298. June 1998.

Abstract: 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.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography