Translation from Petri nets into Boolean equations for the algebraic design of logic controllers

This paper addresses the dependable design of logic controllers from the specifications given at high level of abstraction; in particular an algebraic synthesis method of controllers that processes a set of Boolean equations is adopted. The paper focuses on the automated translation of interpreted Petri net models into sets of Boolean equations as it is required by the synthesis method. An efficient translation algorithm is proposed and a software tool developed for automating the translation task.