Parameterized supervisor synthesis for a modular class of discrete event systems

  title={Parameterized supervisor synthesis for a modular class of discrete event systems},
  author={Belhassen Zouari and Kamel Barkaoui},
The presented work is related to the~use of structural Petri net techniques in the supervisory control of discrete event systems. A relevant property of the system behavior under supervision is to be behavior controllable (non-blocking) i.e. f .om any reachable state, it is always possible to reach a desirable state. In this paper, we present a proper supervisor synthesis method based on a purely shuctural reasoning. This porameterised method is especially well suitedfor a large closs of… CONTINUE READING
Highly Cited
This paper has 25 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.
Showing 1-10 of 17 extracted citations


Publications referenced by this paper.
Showing 1-4 of 4 references

Garcia-Vall6s and J.M.Colom, "A Class of Well Structured Petri Nets for FMS

  • F. J. Ezpeleta
  • Proc. of the 19th ICATF", LNCS Vol no
  • 1998

On Liveness and Controlled Siphon Property

  • K. Barkaoui, J. F. Peyre
  • Proc. of the 17th ICATF",
  • 1996

Petri net synthesis for Discrete Event Control of Manufacturing Systems

  • Zhou, F. DiCesare
  • Kluwer academic Publishers,
  • 1993

Intelligent Scheduling of Automated machining Systems

  • A. Kusiak
  • Intelligent Design and Manufacturing,
  • 1992

Similar Papers

Loading similar papers…