For the most recent entries see the Petri Nets Newsletter.

A Petri-Net Approach to the Control of Discrete-Event Systems.

Denham, M.J.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography