Szczegóły Szczegóły PDF BIBTEX RIS Tytuł artykułu Deadlock freeness supervisor for marked graph Tytuł czasopisma Bulletin of the Polish Academy of Sciences Technical Sciences Rocznik 2009 Wolumin vol. 57 Numer No 3 Autorzy Sioud, H. ; Achour, Z. ; Sava, A. ; Rezg, N. Wydział PAN Nauki Techniczne Zakres 281-288 Data 2009 Identyfikator DOI: 10.2478/v10175-010-0130-3 ; ISSN 2300-1917 Źródło Bulletin of the Polish Academy of Sciences: Technical Sciences; 2009; vol. 57; No 3; 281-288 Referencje 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.