Conceptual framework for the design of logic control

A conceptual and practical environment to design logic controllers is presented, which is based on a special version of Petri nets tailored to this aim. One of the purposes is to not only provide control engineers with powerful graphic tools to manipulate designs quickly and simulation tools to check system performance in particular operative conditions, but also with analytic tools to formally verify controller correctness. Most of the theoretical analysis links to algebraic theory of Petri nets with the fundamental concepts of net invariants and dead-locks. An example from an electrical power plant field is thoroughly examined through all design stages