Skip to main content
SpringerLink
Log in

Synthesis of Controllers of Processes Modeled as Colored Petri Nets

  • Published:
Discrete Event Dynamic Systems Aims and scope Submit manuscript

Abstract

This paper presents an adaptation of a supervisory control theory and a supervisor synthesis problem to a class of colored Petri nets. More specifically, the forbidden state control problem with full observation, in which a discrete-event system is modeled as a colored Petri net with a symmetry specification, is investigated. This problem is decidable if the colored Petri net has finite color sets and bounded places. A new algorithm for deriving a controller is presented in detail with a proof of correctness. Unlike conventional algorithms that explore the entire reachable set of states, our algorithm avoids an exhaustive search of the state space by exploiting a symmetry specification. It performs particularly well when applied to large but structured processes with similar components. Furthermore, this approach leads to a representation of controllers which are smaller than those obtained with automaton-based approaches.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Barbeau, M. and St-Denis, R. 1995. Verification of discrete event systems with the SUCSEDES tool. Proc. of AMAST Workshop on Real-Time Systems (Models and Proofs), Bordeaux.

  • Barbeau, M., Kabanza, F., and St-Denis, R. 1997. An efficient algorithm for controller synthesis under full observation. Journal of Algorithms 25(1): 144–161.

    Google Scholar 

  • Barbeau, M., Kabanza, F., and St-Denis, R. 1998. A method for the synthesis of controllers to handle safety, liveness, and real-time constraints. IEEE Trans. on Automatic Control 43(11): 1543–1559.

    Google Scholar 

  • Boel, R. K., Ben-Naoum, L., and Van Breusegem, V. 1995. On the forbidden state problems for a class of controlled Petri nets. IEEE Trans. on Automatic Control 40(10): 1717–1731.

    Google Scholar 

  • Brandin, B. A. and Wonham, W. M. 1994. Supervisory control of timed discrete-event systems. IEEE Trans. on Automatic Control 39(2): 329–342.

    Google Scholar 

  • Clarke, E. M., Grumberg, O., and Long, D. E. 1994. Model checking and abstraction. ACM Trans. Programming Languages and Systems 16(5): 1512–1542.

    Google Scholar 

  • Denham, M. J. 1988. A Petri net approach to the control of discrete-event systems. In Advanced Computing Concepts and Techniques in Control Engineering, pp. 191–214, Springer-Verlag, NATO ASI Series, vol. F47.

    Google Scholar 

  • Desrochers, A. A. and Al-Jaar, R. Y. 1995. Applications of Petri Nets in Manufacturing Systems: Modeling, Control, and Performance Analysis, IEEE Press.

  • Giua, A. and DiCesare, F. 1991a. Supervisory design using Petri nets. Proc. 30th IEEE Conf. on Decision and Control, Brighton, England, pp. 92–97.

  • Giua, A. and DiCesare, F. 1991b. Blocking and controllability of Petri nets in supervisory control. IEEE Trans.on Automatic Control 39(4): 818–823.

    Google Scholar 

  • Giua, A. and DiCesare, F. 1995. Decidability and closure properties of weak Petri net languages in supervisory control. IEEE Trans. on Automatic Control 40(5): 906–910.

    Google Scholar 

  • Holloway, L. E., Guan, X., and Zhang, L. 1996. A generalization of state avoidance policies for controlled Petri nets. IEEE Trans. on Automatic Control 41(6): 804–816.

    Google Scholar 

  • Holloway, L. E. and Krogh, B. H. 1990. Synthesis of feedback control logic for a class of controlled Petri nets.IEEE Trans. on Automatic Control 35(5): 514–523.

    Google Scholar 

  • Holloway, L. E., Krogh, B. H., and Giua, A. 1997. A survey of Petri net methods for controlled discrete event systems. Discrete Event Dynamic Systems: Theory and Applications 7(2): 151–190.

    Google Scholar 

  • Ichikawa, A. and Hiraishi, K. 1988. Analysis and control of discrete event systems represented by Petri nets.Proc. of Discrete Event Systems: Models and Applications 1987, p. 115-134, Springer-Verlag, Lectures Notes in Control and Information Sciences, vol. 103.

    Google Scholar 

  • Jensen, K. 1992. Coloured Petri Nets, Basic Concepts, Analysis Methods and Practical Use, volume 1, Springer-Verlag.

  • Jensen, K. 1995. Coloured Petri Nets, Basic Concepts, Analysis Methods and Practical Use, volume 2, Springer-Verlag.

  • Krogh, B. H. 1987. Controlled Petri nets and maximally permissive feedback logic. Proc. 25th Annual Allerton Conf. on Communication, Control, and Computing, Monticello, IL, pp. 317–326.

  • Kumar, R. and Holloway, L. E. 1992. Supervisory control of Petri net languages. Proc. 31st IEEE Conf. on Decision and Control, Tucson, AZ, pp. 1190–1195.

  • Li, Y. and Wonham, W. M. 1993. Control of vector discrete-event systems I·The base model. IEEE Trans. on Automatic Control 38(8): 1214–1227.

    Google Scholar 

  • Lin, F. and Wonham, W. M. 1988. Decentralized supervisory control of discrete-event systems. Information Sciences 44(3): 199–224.

    Google Scholar 

  • Makungu, M., Barbeau, M., and St-Denis, R. 1994. Synthesis of controllers with colored Petri nets. Proc. 32th Annual Allerton Conf. on Communication, Control, and Computing, Monticello, IL, pp. 709–718.

  • Makungu, M., St-Denis, R., and Barbeau, M. 1996. Acolored Petri net-based approach to the design of controllers.Proc. 35th IEEE Conf. on Decision and Control, Kobe, Japan, pp. 4425–4432.

  • Moody, J. O. and Antsaklis, P. J. 1995. Petri net supervisors for DES in the presence of uncontrollable and unobservable transitions. Proc. 33rd Annual Allerton Conf. on Communication, Control, and Computing, Monticello, IL, pp. 176–185.

  • Park, Y. and Chong, E. K. P. 1995. Distributed inversion in timed discrete event system. Discrete Event Dynamic Systems 5(2/3): 219–241.

    Google Scholar 

  • Ramadge, P. J. and Wonham, W. M. 1987. Supervisory control of a class of discrete event processes. SIAM J.Control and Optimization 25(1): 206–230.

    Google Scholar 

  • Ramadge, P. J. and Wonham, W. M. 1989. The control of discrete event systems. Proc. IEEE 77(1): 81–98.

    Google Scholar 

  • Sreenivas, R. S. 1993. Deterministic ¸λ-free Petri net languages and their application to the supervisory control of discrete event dynamic systems. Proc. Midwest Circuits and Systems Conf., Detroit, MI.

  • Sreenivas, R. S. 1997a. On supervisory policies that enforce global fairness and bounded fairness in partially controlled Petri nets. Discrete Event Dynamic Systems: Theory and Applications 7(2): 1–18.

    Google Scholar 

  • Sreenivas, R. S. 1997b. On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modeled by controlled Petri nets. IEEE Trans. on Automatic Control 42(7): 928-945.

    Google Scholar 

  • Sreenivas, R. S. and Krogh, B. H. 1992. On Petri net models of infinite state supervisors. IEEE Trans. on Automatic Control 37(2): 274–277.

    Google Scholar 

  • Sathaye, A. S. and Krogh, B. H. 1992. Logical analysis and control of time Petri nets. Proc. 31st IEEE Conf. on Decision and Control, Tucson, AZ, pp. 1198–1203.

  • Stallings. W. 1997. Data and Computer Communications, Fifth Edition, Prentice-Hall.

  • Ushio, T. 1990. Maximally permissive feedback and modular control synthesis in Petri nets with external inputs places. IEEE Trans. on Automatic Control 35(7): 844–848.

    Google Scholar 

  • Yamalidou, K., Moody, J., Lemmon, M., and Antsaklis, P. 1996. Feedback control of Petri nets based on place invariants. Automatica 32(1): 15–28.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Département de mathématiques et d'informatique, Université de Sherbrooke, Sherbrooke (, Québec, CANADA, J1K 2R1

    Mbi Makungu, Michel Barbeau & Richard St-Denis

Authors
  1. Mbi Makungu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Michel Barbeau
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Richard St-Denis
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Makungu, M., Barbeau, M. & St-Denis, R. Synthesis of Controllers of Processes Modeled as Colored Petri Nets. Discrete Event Dynamic Systems 9, 147–169 (1999). https://doi.org/10.1023/A:1008371814442

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1008371814442

Search

Navigation