The transition rules model for real-time process control

AbstractThe two large classes of sequential control are those in which certain combinations of states are prohibited or those in which certain transitions are prohibited. This paper defines formally these classes of sequential control and presents a unified model for both classes of sequential control, viz. the method of transition rules. Outlines of a graph theoretic solution based on a concept called the Partha graph are discussed. Examples are given to illustrate the concepts developed in the paper