Details Details PDF BIBTEX RIS Title Deadlock freeness supervisor for marked graph Journal title Bulletin of the Polish Academy of Sciences Technical Sciences Yearbook 2009 Volume vol. 57 Issue No 3 Authors Sioud, H. ; Achour, Z. ; Sava, A. ; Rezg, N. Divisions of PAS Nauki Techniczne Coverage 281-288 Date 2009 Identifier DOI: 10.2478/v10175-010-0130-3 ; ISSN 2300-1917 Source Bulletin of the Polish Academy of Sciences: Technical Sciences; 2009; vol. 57; No 3; 281-288 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><sup>th</sup> 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.