Supervisory control of discrete event processes

A discrete event process is defined in algebraic terms and its behavior is given by an appropriate formal language.

[1]  Samuel Eilenberg,et al.  Automata, languages, and machines. A , 1974, Pure and applied mathematics.

[2]  S. Maclane,et al.  Categories for the Working Mathematician , 1971 .