For the most recent entries see the Petri Nets Newsletter.

A CAD System to Design Logic Controllers.

Maffezzoni, C.; Ferrarini, L.; Bignotto, F.

In: Automazione e Strumentazione, Vol. 39, No. 5, pages 169-182. May 1991. In Italian.

Abstract: In the paper the authors propose a formalism, based on a special version of Petri nets, able to model any kind of logic controllers without ambiguity, and to give theoretical and practical tools to formally verify the basic properties that a logic controller must possess. Then the realization of a prototype CAD/CAE environment to design logic controllers is described. Finally, an applicative example is shown concerning the control of burning equipment.

Keywords: logic controller; computer aided design; computer aided engineering; burning equipment.

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

Back to the Petri Nets Bibliography