In: NATO Adv. Sci. Inst. Ser. F: Comput. Systems Sci., Vol. 47: Advanced Computing Concepts and Techniques in Control Engineering, pages 191-214. Berlin: Springer-Verlag, 1988.
Abstract: The author describes a theory for the synthesis of supervisory controllers for discrete-event systems. The required behavior is specified by an invariant relation which must hold during operation of the system, and a controller is derived which ensures the required behavior. The theory is based on viewing the Petri net model of the system as a two-sorted algebra; and the composition operations as a natural product between two such algebras.
Keywords: control (of) discrete-event systems; supervisory controller; two-sorted algebra; natural product.