{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,6]],"date-time":"2026-02-06T04:12:41Z","timestamp":1770351161346,"version":"3.49.0"},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2012,10,10]],"date-time":"2012-10-10T00:00:00Z","timestamp":1349827200000},"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":[[2014,9]]},"DOI":"10.1007\/s10626-012-0152-0","type":"journal-article","created":{"date-parts":[[2012,10,9]],"date-time":"2012-10-09T05:14:25Z","timestamp":1349759665000},"page":"275-307","source":"Crossref","is-referenced-by-count":22,"title":["Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications"],"prefix":"10.1007","volume":"24","author":[{"given":"Yu","family":"Ru","sequence":"first","affiliation":[]},{"given":"Maria Paola","family":"Cabasino","sequence":"additional","affiliation":[]},{"given":"Alessandro","family":"Giua","sequence":"additional","affiliation":[]},{"given":"Christoforos N.","family":"Hadjicostis","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,10,10]]},"reference":[{"key":"152_CR1","doi-asserted-by":"crossref","first-page":"2007","DOI":"10.1109\/TAC.2004.837558","volume":"49","author":"Z Achour","year":"2004","unstructured":"Achour Z, Rezg N, Xie X (2004) Supervisory control of partially observable marked graphs. IEEE Trans Automat Contr 49:2007\u20132011","journal-title":"IEEE Trans Automat Contr"},{"key":"152_CR2","doi-asserted-by":"crossref","unstructured":"Achour Z, Rezg N, Xie X (2005) On the existence of Petri net controller for discrete event systems under partial observation. In: Proc. of the 16th IFAC world congress 2005","DOI":"10.3182\/20050703-6-CZ-1902.00348"},{"issue":"4","key":"152_CR38","doi-asserted-by":"crossref","first-page":"725","DOI":"10.1109\/TCST.2006.890281","volume":"15","author":"F Basile","year":"2007","unstructured":"Basile F, Chiacchio P (2007) On the implementation of supervised control of discrete event systems. IEEE Trans Control Syst Technol 15(4):725\u2013739","journal-title":"IEEE Trans Control Syst Technol"},{"issue":"3","key":"152_CR39","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1109\/TAC.2007.893969","volume":"52","author":"F Basile","year":"2007","unstructured":"Basile F, Chiacchio P, Carbone C (2007) Feedback control logic for backward conflict free choice nets. IEEE Trans Automat Control 52(3):387\u2013400","journal-title":"IEEE Trans Automat Control"},{"issue":"9","key":"152_CR3","doi-asserted-by":"crossref","first-page":"989","DOI":"10.1016\/j.conengprac.2010.12.010","volume":"19","author":"M Cabasino","year":"2011","unstructured":"Cabasino M, Giua A, Pocci M, Seatzu C (2011) Discrete event diagnosis using labeled Petri nets. An application to manufacturing systems. Control Eng Pract 19(9):989\u20131001","journal-title":"Control Eng Pract"},{"key":"152_CR4","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1023\/A:1008349927281","volume":"10","author":"H Chen","year":"2000","unstructured":"Chen H (2000) Control synthesis of Petri nets based on S-decreases. Discrete Event Dyn Syst 10:233\u2013249","journal-title":"Discrete Event Dyn Syst"},{"key":"152_CR5","doi-asserted-by":"crossref","first-page":"1921","DOI":"10.1109\/9.182478","volume":"37","author":"SL Chung","year":"1992","unstructured":"Chung SL, Lafortune S, Lin F (1992) Limited lookahead policies in supervisory control of discrete event systems. IEEE Trans Automat Contr 37:1921\u20131935","journal-title":"IEEE Trans Automat Contr"},{"key":"152_CR6","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1007\/BF01438709","volume":"4","author":"SL Chung","year":"1994","unstructured":"Chung SL, Lafortune S, Lin F (1994) Supervisory control using variable lookahead policies. Discrete Event Dyn Syst 4:237\u2013268","journal-title":"Discrete Event Dyn Syst"},{"key":"152_CR7","first-page":"265","volume-title":"2nd IFAC workshop on dependable control of discrete systems","author":"A Dideban","year":"2009","unstructured":"Dideban A, Zareiee M, Alla H (2009) Controller synthesis with very simplified linear constraints in PN model. In: 2nd IFAC workshop on dependable control of discrete systems. Bari, Italy, pp 265\u2013270"},{"key":"152_CR8","doi-asserted-by":"crossref","first-page":"1697","DOI":"10.1016\/j.automatica.2007.10.031","volume":"44","author":"A Didebana","year":"2008","unstructured":"Didebana A, Alla H (2008) Reduction of constraints for controller synthesis based on safe Petri nets. Automatica 44:1697\u20131706","journal-title":"Automatica"},{"key":"152_CR9","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1109\/TASE.2006.879916","volume":"4","author":"S Genc","year":"2007","unstructured":"Genc S, Lafortune S (2007) Distributed diagnosis of place-bordered Petri nets. IEEE Trans Autom Sci Eng 4:206\u2013219","journal-title":"IEEE Trans Autom Sci Eng"},{"key":"152_CR10","doi-asserted-by":"crossref","unstructured":"Genrich HJ, Stankiewicz-Wiechno E (1980) A dictionary of some basic notions of net theory. In: Lecture notes in computer science, vol\u00a084: net theory and applications, pp 519\u2013535","DOI":"10.1007\/3-540-10001-6_39"},{"key":"152_CR11","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1109\/TRA.2002.807555","volume":"19","author":"A Ghaffari","year":"2003","unstructured":"Ghaffari A, Rezg N, Xie X (2003) Design of a live and maximally permissive Petri net controller using the theory of regions. IEEE Trans Robot Autom 19:137\u2013142","journal-title":"IEEE Trans Robot Autom"},{"key":"152_CR12","unstructured":"Giua A, DiCesare F, Silva M (1992) Generalized mutual exclusion constraints on nets with uncontrollable transitions. In: Proc. of the IEEE int. conf. on systems, man and cybernetics, pp 974\u2013979"},{"key":"152_CR13","doi-asserted-by":"crossref","first-page":"1424","DOI":"10.1109\/TAC.2002.802769","volume":"47","author":"A Giua","year":"2002","unstructured":"Giua A, Seatzu C (2002) Observability of place\/transition nets. IEEE Trans Automat Contr 47:1424\u20131437","journal-title":"IEEE Trans Automat Contr"},{"key":"152_CR14","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1109\/TASE.2008.916925","volume":"5","author":"A Giua","year":"2008","unstructured":"Giua A, Seatzu C (2008) Modeling and supervisory control of railway networks using Petri nets. IEEE Trans Autom Sci Eng 5:431\u2013445","journal-title":"IEEE Trans Autom Sci Eng"},{"key":"152_CR15","doi-asserted-by":"crossref","first-page":"1695","DOI":"10.1109\/TAC.2007.904281","volume":"52","author":"A Giua","year":"2007","unstructured":"Giua A, Seatzu C, Corona D (2007) Marking estimation of Petri nets with silent transitions. IEEE Trans Automat Contr 52:1695\u20131699","journal-title":"IEEE Trans Automat Contr"},{"key":"152_CR16","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/BF01438708","volume":"4","author":"M Heymann","year":"1994","unstructured":"Heymann M, Lin F (1994) On-line control of partially observed discrete event systems. Discrete Event Dyn Syst 4:221\u2013236","journal-title":"Discrete Event Dyn Syst"},{"key":"152_CR17","doi-asserted-by":"crossref","first-page":"514","DOI":"10.1109\/9.53517","volume":"35","author":"LE Holloway","year":"1990","unstructured":"Holloway LE, Krogh BH (1990) Synthesis of feedback control logic for a class of controlled Petri nets. IEEE Trans Automat Contr 35:514\u2013523","journal-title":"IEEE Trans Automat Contr"},{"key":"152_CR18","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 net methods for controlled discrete event systems. Discrete Event Dyn Syst 7:151\u2013190","journal-title":"Discrete Event Dyn Syst"},{"issue":"3","key":"152_CR19","doi-asserted-by":"crossref","first-page":"549","DOI":"10.1109\/TASE.2009.2037825","volume":"7","author":"H Hu","year":"2010","unstructured":"Hu H, Zhou M, Li Z (2010) Algebraic synthesis of timed supervisor for automated manufacturing systems using Petri nets. IEEE Trans Autom Sci Eng 7(3):549\u2013557","journal-title":"IEEE Trans Autom Sci Eng"},{"issue":"4","key":"152_CR20","doi-asserted-by":"crossref","first-page":"794","DOI":"10.1109\/TASE.2011.2156783","volume":"8","author":"H Hu","year":"2011","unstructured":"Hu H, Zhou M, Li Z (2011) Supervisor optimization for deadlock resolution in automated manufacturing systems with Petri nets. IEEE Trans Autom Sci Eng 8(4):794\u2013804","journal-title":"IEEE Trans Autom Sci Eng"},{"key":"152_CR21","unstructured":"Iordache MV, Antsaklis PJ (2007) Petri net supervisors for disjunctive constraints. In: Proc. of American control conference, pp 4951\u20134956"},{"key":"152_CR22","doi-asserted-by":"crossref","first-page":"1327","DOI":"10.1016\/S0005-1098(98)00077-6","volume":"34","author":"R Kumar","year":"1998","unstructured":"Kumar R, Cheung HM, Marcus SI (1998) Extension based limited lookahead supervision of discrete event systems. Automatica 34:1327\u20131344","journal-title":"Automatica"},{"key":"152_CR23","doi-asserted-by":"crossref","first-page":"2751","DOI":"10.1109\/TAC.2011.2128590","volume":"56","author":"J Luo","year":"2011","unstructured":"Luo J, Nonami K (2011) Approach for transforming linear constraints on Petri nets. IEEE Trans Automat Contr 56:2751\u20132765","journal-title":"IEEE Trans Automat Contr"},{"key":"152_CR24","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-5711-1","volume-title":"Supervisory control of discrete event systems using Petri nets","author":"JO Moody","year":"1998","unstructured":"Moody JO, Antsaklis PJ (1998) Supervisory control of discrete event systems using Petri nets. Kluwer Academic, Norwell"},{"key":"152_CR25","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:541\u2013580","journal-title":"Proc IEEE"},{"key":"152_CR26","doi-asserted-by":"crossref","first-page":"1202","DOI":"10.1137\/0325066","volume":"25","author":"PJ Ramadge","year":"1987","unstructured":"Ramadge PJ, Wonham WM (1987) Modular feedback logic for discrete event systems. SIAM J Control Optim 25:1202\u20131218","journal-title":"SIAM J Control Optim"},{"key":"152_CR27","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1109\/5.21072","volume":"77","author":"PJ Ramadge","year":"1989","unstructured":"Ramadge PJ, Wonham WM (1989) The control of discrete event systems. Proc IEEE 77:81\u201398","journal-title":"Proc IEEE"},{"key":"152_CR28","doi-asserted-by":"crossref","unstructured":"Ru Y, Cabasino MP, Giua A, Hadjicostis CN (2008) Supervisor synthesis for discrete event systems with arbitrary forbidden state specifications. In: Proc. of the 47th IEEE conf. on decision and control, pp 1048\u20131053","DOI":"10.1109\/CDC.2008.4739115"},{"key":"152_CR29","doi-asserted-by":"crossref","unstructured":"Ru Y, Hadjicostis CN (2007) Fault-tolerant supervisory control of discrete event systems modeled by bounded Petri nets. In: Proc. of 2007 American control conference, pp 4945\u20134950","DOI":"10.1109\/ACC.2007.4282277"},{"key":"152_CR30","doi-asserted-by":"crossref","first-page":"334","DOI":"10.1109\/TASE.2008.2009095","volume":"6","author":"Y Ru","year":"2009","unstructured":"Ru Y, Hadjicostis CN (2009) Bounds on the number of markings consistent with label observations in Petri nets. IEEE Trans Autom Sci Eng 6:334\u2013344","journal-title":"IEEE Trans Autom Sci Eng"},{"key":"152_CR31","doi-asserted-by":"crossref","unstructured":"Ru Y, Wu W, Su H, Chu J (2004) Supervisor synthesis for bounded Petri nets based on a transformation function. In: Proc. of 2004 American control conference, pp 4493\u20134498","DOI":"10.23919\/ACC.2004.1384018"},{"key":"152_CR32","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, Norwell"},{"key":"152_CR33","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1023\/A:1013331703036","volume":"12","author":"G Stremersch","year":"2002","unstructured":"Stremersch G, Boel RK (2002) Structuring acyclic Petri nets for reachability analysis and control. Discrete Event Dyn Syst 12:7\u201341","journal-title":"Discrete Event Dyn Syst"},{"key":"152_CR34","unstructured":"Wonham WM (2009) Supervisory control of discrete-event systems. Toronto, Canada. http:\/\/www.control.utoronto.ca\/people\/profs\/wonham\/wonham.html . Accessed 9 Nov 2011"},{"key":"152_CR35","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1016\/0005-1098(95)00103-4","volume":"32","author":"E Yamalidou","year":"1996","unstructured":"Yamalidou E, Moody JO, Antsaklis PJ, Lemmon MD (1996) Feedback control of Petri nets based on place invariants. Automatica 32:15\u201328","journal-title":"Automatica"},{"key":"152_CR36","unstructured":"Zareiee M, Dideban A, Nazemzadeh P (2011) From forbidden states to linear constraints. In: World academy of science, engineering and technology, pp 167\u2013173"},{"key":"152_CR37","unstructured":"Zhang L, Holloway LE (1995) Forbidden state avoidance in controlled Petri nets under partial observation. In: Proc. of the 33rd annual Allerton conference on communications, control, and computing, pp 146\u2013155"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-012-0152-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-012-0152-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-012-0152-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,4]],"date-time":"2019-07-04T14:20:58Z","timestamp":1562250058000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-012-0152-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10,10]]},"references-count":39,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2014,9]]}},"alternative-id":["152"],"URL":"https:\/\/doi.org\/10.1007\/s10626-012-0152-0","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,10,10]]}}}