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.