Skip to main content
SpringerLink
Log in

Closed-loop Live Marked Graphs under Generalized Mutual Exclusion Constraint Enforcement

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

Abstract

Enforcing a supervisory control policy to avoid forbidden states on a discrete event system modeled by a Petri net may result in a non live system. This may happen even if the admissible states are specified by Generalized Mutual Exclusion Constraints (GMECs). This leads to the problem of synthesizing a maximally permissive control policy preserving liveness of the system under a GMEC. This problem is very interesting in practice, but difficult even for a restricted class of systems. In this paper, we focus on systems which can be modeled as live and safe Marked Graphs (MGs). On such systems, when some of the transitions are uncontrollable, a GMEC can be forced by a monitor place if a not maximally permissive policy is accepted, otherwise a more complex control has to be adopted. Anyway, liveness of the closed-loop system (plant plus control) is not guaranteed. Two sufficient conditions to verify the closed-loop liveness of a live and safe MG plant controlled by a monitor are derived. A sufficient condition for closed loop liveness of MGs where a GMEC has been enforced on is derived. In addition, a set of predicates is provided that enforces, in a maximally permissive way, a GMEC while preserving closed-loop liveness on live and safe MG systems under some restrictions.

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

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6

Similar content being viewed by others

References

  • Basile F, Chiacchio P, Giua A (2006) Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places. Automatica 42:995–1004, June

    Article  MATH  MathSciNet  Google Scholar 

  • Giua A, DiCesare F, Silva M (1992) Generalized mutual exclusion constraints on nets with uncontrollable transitions. In: 1992 IEEE Int. Conf. on Systems, Man, and Cybernetics, Chigago, IL, 19–21 October 1992, pp 974–979

  • Giua A, Cesare FD, Silva M (1993) Petri net supervisors for generalized mutual exclusion constraints. In: Proc. 1993 IFAC World Congress, Sydney, July 1993, pp 267–270

  • Holloway L, Krogh B (1990) Synthesis of feedback control logic for a class of controllable Petri nets. IEEE Trans Automat Contr 35(5):514–523, May

    Article  MATH  MathSciNet  Google Scholar 

  • Holloway L, Krogh B (1992) On closed-loop liveness of discrete-event systems under maximally permissive control. IEEE Trans Automat Contr 37(5):622–697, May

    Article  MathSciNet  Google Scholar 

  • Holloway LE, Krogh BH, Giua A (1997) A survey of Petri nets methods for controlled discrete event systems. Discret Event Dyn Syst Theory Appl 7(7):151–190

    Article  MATH  Google Scholar 

  • Iordache M, Antsaklis P (2003) Design of T-liveness enforcing supervisors in Petri nets. IEEE Trans Automat Contr 48(11):1962–1974, November

    Article  MathSciNet  Google Scholar 

  • Iordache M, Antsaklis P (2006) Supervision control of concurrent system: a Petri net structural approach. Birkhäuser, Boston

    Google Scholar 

  • Iordache M, Moody J, Antsaklis P (2002) Synthesis of deadlock prevention supervisors using Petri nets. IEEE Trans Robot Autom 18(1):59–68, February

    Article  Google Scholar 

  • Krogh B, Holloway L (1991) Synthesis of feedback control logic for discrete maufacturing systems. Automatica 27(4):641–651, July

    Article  Google Scholar 

  • Martinez J, Silva M (1982) A simple and fast algorithm to obtain all invariants of a generalized Petri net. In: Application and theory of Petri nets: selected papers from the first and second European workshop on application and theory of Petri nets, Strasbourg, Sep. 23–26, 1980, Bad Honnef, Sep. 28–30, 1981. Springer, Heidelberg, pp 301–310

    Google Scholar 

  • Moody J, Antsaklis P (2000) Petri net supervisors for DES with uncontrollable and unobservable transitions. IEEE Trans Automat Contr 45(3):462–476, March

    Article  MATH  MathSciNet  Google Scholar 

  • Murata T (1989) Petri nets: properties, analysis and applications. Proc IEEE 77(4):541–580, April

    Article  Google Scholar 

  • Park J, Reveliotis S (2002) Liveness-enforcing supervision for resource allocation systems with uncontrollable behavior and forbidden states. IEEE Trans Robot Autom 18(2):234–240, April

    Article  Google Scholar 

  • Recalde L, Teruel E, Silva M (1998) On linear algebraic tecniques for liveness analysis of p/t systems. J Circuits Syst Comput 1(8):223–265

    Article  MathSciNet  Google Scholar 

  • Schrijver A (2003) Combinatorial optimization. Springer, Heidelberg

    MATH  Google Scholar 

  • Silva M (1993) Introducing Petri nets, in practice of Petri nets in manufacturing. Chapman & Hall, London, pp 1–62

    Google Scholar 

  • Silva M, Teruel E, Colom JM (1998) Linear algebraic and linear programming techniques for the analysis of net systems. In: Rozenberg G, Reisig W (eds) Lectures in Petri nets. I: basic models, ser. Lecture notes in computer science, vol 1491. Springer, Heidelberg, pp 309–373

    Google Scholar 

  • Stremersch G (2001) Supervision of Petri nets. Kluwer Academic, Boston

    MATH  Google Scholar 

  • Wonham W (1989) The control of vector discrete-event systems. Proc IEEE 77(1):81–98, January

    Article  Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Ingegneria dell’Informazione e Ingegneria Elettrica, Università degli Studi di Salerno, Via Ponte don Melillo, 1 – 84084, Fisciano (SA), Italy

    Francesco Basile & Pasquale Chiacchio

  2. Dep. de Informática e Ingeniería de Sistemas, Maria de Luna 3, 50015, Zaragoza, Spain

    Laura Recalde & Manuel Silva

Authors
  1. Francesco Basile
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Laura Recalde
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Pasquale Chiacchio
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Manuel Silva
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Francesco Basile.

Additional information

This research has been partially supported by MIUR, Italy (Progetto PRIN 2007 - Tematiche di controllo in celle robotizzate iperflessibili).

Rights and permissions

Reprints and permissions

About this article

Cite this article

Basile, F., Recalde, L., Chiacchio, P. et al. Closed-loop Live Marked Graphs under Generalized Mutual Exclusion Constraint Enforcement. Discrete Event Dyn Syst 19, 1–30 (2009). https://doi.org/10.1007/s10626-008-0050-7

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10626-008-0050-7

Keywords

Search

Navigation