Chiheb Ameur Abid, Belhassen Zouari


This paper deals with the synthesis problem of controllers based on Coloured Petri nets in a decentralised setting. An approach is proposed to derive a decentralised controller consisting of a set of local controllers. Each local controller, modelled by a CP-net, observes and controls a portion of the plant model. Communication between local controllers is performed only when it is necessary allowing the appropriate local controller to restrict the behaviour of its observed portion in order to meet the control specification.


  1. Abid, C. A., Zairi, S., and Zouari, B. (2010). Supervisory control and high-level petri nets. In Pawlewski, P., editor, Petri Nets: Applications, chapter 14, pages 281- 306. INTECH, Vienna, Austria.
  2. Abid, C. A. and Zouari, B. (2008). Synthesis of controllers using symbolic reachability graphs. In Proceedings of 9th International Workshop of Discrete Event Systems (WODES'08), pages 314-321, Göteborg.
  3. Basile, F., Giua, A., and Seatzu, C. (2007). Supervisory control of petri nets with decentralized monitor places. In 26th American Control Conference (ACC07), New York, USA.
  4. Chen, H. and Baosheng, H. (1991). Distributed control of discrete event systems described by a class of controlled petri nets. In Preprints of IFAC International Symposium on Distributed Intelligence Systems.
  5. Christensen, S. and Petrucci, L. (1995). Modular state space analysis of coloured petri nets. In Proceedings of the 16th International Conference on Application and Theory of Petri Nets, pages 201-217, London, UK. Springer-Verlag.
  6. Christensen, S. and Petrucci, L. (2000). Modular analysis of petri nets. Comput. J., 43(3):224-242.
  7. Cesare, F. (1994). Petri net structural analysis for supervisory control. IEEE Transactions on Robotics and Automation, 10(2):185-195.
  8. Guan, X. and Holloway, L. E. (1995). Distributed discrete event control structures with controller interactions. In In proceedings of 1995 American Control Conference, pages 3151-3156.
  9. Holloway, L. E., Krogh, B. H., and Giua, A. (1997). A survey of petri net methods for controlled discrete eventsystems. Discrete Event Dynamic Systems, 7(2):151-190.
  10. Jensen, K., Kristensen, L. M., and Wells, L. (2007). Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems. Int. J. Softw. Tools Technol. Transf., 9(3):213-254.
  11. Makungu, M., Barbeau, M., and St-Denis, R. (1999). Synthesis of controllers of process modeled as coloured petri nets. Journal Discrete Event Dynamic Systems Theory Applications Kluwer Academic Publishers, Vol. 9(No. 2):147-169.
  12. Ramadge, P. and Wonham, W. (1989). The control of discrete event systems. In Proceedings of IEEE, pages 81-98. Special Issue on Discrete Event Dynamic Systems.
  13. Reveliotis, S., Lawley, M., and Ferreira, P. (1997). Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems. IEEE transactions on automatic control, 42(10):1344-1357.
  14. Rudie, K. and Wonham, W. (1992). Think globally, act locally: Decentralized supervisory control. IEEE Trans. on Automatic Control, 37(11):1692-1708.

Paper Citation

in Harvard Style

Ameur Abid C. and Zouari B. (2010). DECENTRALISED ACTIVE CONTROLLER . In Proceedings of the 7th International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO, ISBN 978-989-8425-01-0, pages 252-259. DOI: 10.5220/0002946102520259

in Bibtex Style

author={Chiheb Ameur Abid and Belhassen Zouari},
booktitle={Proceedings of the 7th International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO,},

in EndNote Style

JO - Proceedings of the 7th International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO,
SN - 978-989-8425-01-0
AU - Ameur Abid C.
AU - Zouari B.
PY - 2010
SP - 252
EP - 259
DO - 10.5220/0002946102520259