{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T13:14:12Z","timestamp":1762521252724},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2008,9,25]],"date-time":"2008-09-25T00:00:00Z","timestamp":1222300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2009,3]]},"DOI":"10.1007\/s10626-008-0050-7","type":"journal-article","created":{"date-parts":[[2008,9,24]],"date-time":"2008-09-24T05:10:29Z","timestamp":1222233029000},"page":"1-30","source":"Crossref","is-referenced-by-count":16,"title":["Closed-loop Live Marked Graphs under Generalized Mutual Exclusion Constraint Enforcement"],"prefix":"10.1007","volume":"19","author":[{"given":"Francesco","family":"Basile","sequence":"first","affiliation":[]},{"given":"Laura","family":"Recalde","sequence":"additional","affiliation":[]},{"given":"Pasquale","family":"Chiacchio","sequence":"additional","affiliation":[]},{"given":"Manuel","family":"Silva","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,9,25]]},"reference":[{"key":"50_CR1","doi-asserted-by":"crossref","first-page":"995","DOI":"10.1016\/j.automatica.2006.02.003","volume":"42","author":"F Basile","year":"2006","unstructured":"Basile F, Chiacchio P, Giua A (2006) Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places. Automatica 42:995\u20131004, June","journal-title":"Automatica"},{"key":"50_CR4","unstructured":"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\u201321 October 1992, pp 974\u2013979"},{"key":"50_CR5","doi-asserted-by":"crossref","unstructured":"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\u2013270","DOI":"10.1016\/S1474-6670(17)48493-X"},{"issue":"5","key":"50_CR6","doi-asserted-by":"crossref","first-page":"514","DOI":"10.1109\/9.53517","volume":"35","author":"L Holloway","year":"1990","unstructured":"Holloway L, Krogh B (1990) Synthesis of feedback control logic for a class of controllable Petri nets. IEEE Trans Automat Contr 35(5):514\u2013523, May","journal-title":"IEEE Trans Automat Contr"},{"issue":"5","key":"50_CR7","doi-asserted-by":"crossref","first-page":"622","DOI":"10.1109\/9.135519","volume":"37","author":"L Holloway","year":"1992","unstructured":"Holloway L, Krogh B (1992) On closed-loop liveness of discrete-event systems under maximally permissive control. IEEE Trans Automat Contr 37(5):622\u2013697, May","journal-title":"IEEE Trans Automat Contr"},{"issue":"7","key":"50_CR8","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1023\/A:1008271916548","volume":"7","author":"LE Holloway","year":"1997","unstructured":"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\u2013190","journal-title":"Discret Event Dyn Syst Theory Appl"},{"issue":"11","key":"50_CR9","doi-asserted-by":"crossref","first-page":"1962","DOI":"10.1109\/TAC.2003.819078","volume":"48","author":"M Iordache","year":"2003","unstructured":"Iordache M, Antsaklis P (2003) Design of T-liveness enforcing supervisors in Petri nets. IEEE Trans Automat Contr 48(11):1962\u20131974, November","journal-title":"IEEE Trans Automat Contr"},{"key":"50_CR10","volume-title":"Supervision control of concurrent system: a Petri net structural approach","author":"M Iordache","year":"2006","unstructured":"Iordache M, Antsaklis P (2006) Supervision control of concurrent system: a Petri net structural approach. Birkh\u00e4user, Boston"},{"issue":"1","key":"50_CR11","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1109\/70.988975","volume":"18","author":"M Iordache","year":"2002","unstructured":"Iordache M, Moody J, Antsaklis P (2002) Synthesis of deadlock prevention supervisors using Petri nets. IEEE Trans Robot Autom 18(1):59\u201368, February","journal-title":"IEEE Trans Robot Autom"},{"issue":"4","key":"50_CR12","doi-asserted-by":"crossref","first-page":"641","DOI":"10.1016\/0005-1098(91)90055-7","volume":"27","author":"B Krogh","year":"1991","unstructured":"Krogh B, Holloway L (1991) Synthesis of feedback control logic for discrete maufacturing systems. Automatica 27(4):641\u2013651, July","journal-title":"Automatica"},{"key":"50_CR14","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1007\/978-3-642-68353-4_47","volume-title":"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\u201326, 1980, Bad Honnef, Sep. 28\u201330, 1981","author":"J Martinez","year":"1982","unstructured":"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\u201326, 1980, Bad Honnef, Sep. 28\u201330, 1981. Springer, Heidelberg, pp 301\u2013310"},{"issue":"3","key":"50_CR15","doi-asserted-by":"crossref","first-page":"462","DOI":"10.1109\/9.847725","volume":"45","author":"J Moody","year":"2000","unstructured":"Moody J, Antsaklis P (2000) Petri net supervisors for DES with uncontrollable and unobservable transitions. IEEE Trans Automat Contr 45(3):462\u2013476, March","journal-title":"IEEE Trans Automat Contr"},{"issue":"4","key":"50_CR16","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata T (1989) Petri nets: properties, analysis and applications. Proc IEEE 77(4):541\u2013580, April","journal-title":"Proc IEEE"},{"issue":"2","key":"50_CR17","doi-asserted-by":"crossref","first-page":"234","DOI":"10.1109\/TRA.2002.999651","volume":"18","author":"J Park","year":"2002","unstructured":"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\u2013240, April","journal-title":"IEEE Trans Robot Autom"},{"issue":"8","key":"50_CR18","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1142\/S0218126698000092","volume":"1","author":"L Recalde","year":"1998","unstructured":"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\u2013265","journal-title":"J Circuits Syst Comput"},{"key":"50_CR20","volume-title":"Combinatorial optimization","author":"A Schrijver","year":"2003","unstructured":"Schrijver A (2003) Combinatorial optimization. Springer, Heidelberg"},{"key":"50_CR21","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-94-011-6955-4_1","volume-title":"Introducing Petri nets, in practice of Petri nets in manufacturing","author":"M Silva","year":"1993","unstructured":"Silva M (1993) Introducing Petri nets, in practice of Petri nets in manufacturing. Chapman & Hall, London, pp 1\u201362"},{"key":"50_CR22","first-page":"309","volume-title":"Lectures in Petri nets. I: basic models, ser. Lecture notes in computer science, vol 1491","author":"M Silva","year":"1998","unstructured":"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\u2013373"},{"key":"50_CR23","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-1537-1","volume-title":"Supervision of Petri nets","author":"G Stremersch","year":"2001","unstructured":"Stremersch G (2001) Supervision of Petri nets. Kluwer Academic, Boston"},{"issue":"1","key":"50_CR24","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1109\/5.21072","volume":"77","author":"W Wonham","year":"1989","unstructured":"Wonham W (1989) The control of vector discrete-event systems. Proc IEEE 77(1):81\u201398, January","journal-title":"Proc IEEE"},{"issue":"1","key":"50_CR25","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1016\/0005-1098(95)00103-4","volume":"32","author":"K Yamalidou","year":"1996","unstructured":"Yamalidou K, Moody J, Lemmon M, Antsaklis P (1996) Feedback control of Petri nets based on place invariants. Automatica 32(1):15\u201328, January","journal-title":"Automatica"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-008-0050-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-008-0050-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-008-0050-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T15:58:51Z","timestamp":1559231931000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-008-0050-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,9,25]]},"references-count":21,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2009,3]]}},"alternative-id":["50"],"URL":"https:\/\/doi.org\/10.1007\/s10626-008-0050-7","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,9,25]]}}}