For the most recent entries see the Petri Nets Newsletter.

A Formal Technique for the Synthesis of Petri Net Supervisors for Discrete Event Systems.

Jones, A.H.; Uzam, M.

In: Proceedings of the International Conference on Control (CONTROL'98), Swansea, UK, September 1-4, 1998, pages 845-852. University of Wales, 1998.

Abstract: In this paper a formal technique for the synthesis of Petri-net-based supervisors for Discrete Event Systems is proposed to solve the forbidden state problem. The solution has close parallels to the Finite State Machine approach proposed by Ramadge and Wonham. The technique thus provides a Petri net equivalent method to act as further stimulus to solving the synthesis of supervisory control problems. The methodology is explained in detail by considering a discrete manufacturing system.

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

Back to the Petri Nets Bibliography