Assistance to modelling a distributed production system by using the languages and automata theory: application to production efficiency assessment

  • Niel Eric
  • Chafik Samir
  • Signoret Jean Pierre
  • Velasco Sandra
  • Velichkova Borislava
Conference paper


Based on the Supervisory Control Theory, the proposed approach aims to automatically generate a model usable for simulation in order to provide efficiency assessment. Having in mind the concept “divide and conquer” which is specially well adapted for complex system the major advantage of the proposition is to distinguish the physical system from its structure prescriptions and recovery procedures.


State Graph Supervisory Control Discrete Event System Maintenance Policy Redundancy Structure 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Babouel E, Bernardinello L, Darondeau P. Polynomial algorithms for the synthesis of bounded nets CAAP’95, Springer Verlag, LNCS 915, 1995, pp. 364-378.Google Scholar
  2. 2.
    Cassandras J., Lafortune S. Introduction to Discrete Event Systems, 1st edn. Boston: kluwer Academic Publishers, 1999, pp.822.CrossRefMATHGoogle Scholar
  3. 3.
    Chafik S. théorie de contrôle par supervision hiérarchique et distribuée: application à la coordination. PhD thesis, INSA of Lyon; France, 2000, 132 p.Google Scholar
  4. 4.
    Rezg N., Xie X., Ghaffari A. Supervisory Control in Discrete Event Systems using the theory of regions. Discrete Event Systems Analysis and Control, 2000, pp. 391-398.Google Scholar
  5. 5.
    Giua A., DiCesare F., Silva M. Petri Nets supervisors fir generalised mutual exclusion constraints. 12th IFAC world congress, Sidney, Australia, 1993; pp. 267–270.Google Scholar
  6. 6.
    Holloway L., Krogh B. Synthesis of feedback control logic for a class of controlled Petri Nets. IEEE Trans. Automatic Control, vol.35, n°5, 1990, pp. 514–523.CrossRefMATHMathSciNetGoogle Scholar
  7. 7.
    Normes AFN 2002, indicateurs de performances, norme NF E60-182, Mai 2002, pp.9.Google Scholar
  8. 8.
    Kamach O., Pietrac L., Niel E. Multi-model approach for Discrete Event Systems: application to operating mode management, IEEE SESAi, Lille, 2003,. Reference S2-R-00-0315 in CD ROM.Google Scholar
  9. 9.
    Niel E., Pietrac L., Regimbai L; Advantages and drawbacks of the logic program synthesis using supervisory control theory, INCOM’01, Wien, 2001, IN-041.pdf in CD-ROM.Google Scholar
  10. 10.
    Ramadge P.J., Wonham W.M Supervisory Control of a class discrete event processes SIAM Journal on Control and Optimization, vol.25, n°l, 1987, pp. 206–230.CrossRefMATHMathSciNetGoogle Scholar
  11. 11.
    Performance evaluation of DEDS with conflicts and synchronisation: net-driven decomposition techniques WODES, Cagliari, Italy, 1998.Google Scholar
  12. 12.
    Yves DUTUIT, Jean-Pierre SIGNORET. Dynamic System Modelling by Using Stochastic Petri Nets and Monte Carlo Simulation, ESREL 2003 Maastricht.Google Scholar
  13. 13.
    Wong K.C, Thistle J.G, Malhame R.P, Hoang H.H. Supervisory control of distributed systems: conflict resolution. Discrete Event Dynamic Systems, 2000, Vol.10, p. 131–186.CrossRefMATHMathSciNetGoogle Scholar
  14. 14.
    User Guide for UMDES-LIB. http:.// Scholar

Copyright information

© Springer-Verlag London 2004

Authors and Affiliations

  • Niel Eric
    • 1
  • Chafik Samir
    • 1
  • Signoret Jean Pierre
    • 2
  • Velasco Sandra
    • 1
  • Velichkova Borislava
    • 1
  1. 1.LAI, INSA de Lyon, Bat Saint ExuperyVilleurbanne cedexFrance
  2. 2.Total CSTJFPau CedexFrance

Personalised recommendations