Title

Deadlock freeness supervisor for marked graph

Journal title

Bulletin of the Polish Academy of Sciences: Technical Sciences

Yearbook

2009

Volume

vol. 57

Numer

No 3

Authors

Sioud, H. ; Achour, Z. ; Sava, A. ; Rezg, N.

Divisions of PAS

Nauki Techniczne

Coverage

281-288

Date

2009

Identifier

ISSN 2300-1917

References

Ramadge P. (1989), The control of discrete event systems, Proc. IEEE, 77, 1, 81. ; Giua A. (1992), Generalized mutual exclusion constraints on nets with uncontrollable transitions, Systems, Man and Cybernetics, IEEE Int. Conf, 2, 974. ; A. Giua, F. DiCesare, and M. Silva, "Petri net supervisor for generalized mutual exclusion constraints", 12<i>^th IFAC World Congress Sidney</i>, 267-270 (1993). ; Basile F. (2006), Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places, Automatica, 42, 995. ; J. Moody and P. J. Antsaklis, "Petri net supervisors for DES with uncontrollable and unobservable transitions", <i>Report</i> 99-004 ISIS, (1999). ; Darondeau P. (2003), Linear control of live marked graphs, Automatica, 39, 3, 429. ; Rezg N. (2000), Supervisory control in discrete event systems using the theory of regions, Discrete Event System Analysis and Control, 391. ; Ghaffari A. (2003), Feedback control logic for forbidden state problem of marked graphs, IEEE Trans. on Automatic Control, 48, 1, 18. ; Basile F. (2000), Closed-loop live Petri net supervisors for GMEC, null, 171.

DOI

10.2478/v10175-010-0130-3