{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,17]],"date-time":"2025-09-17T17:17:36Z","timestamp":1758129456589,"version":"3.44.0"},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2025,8,13]],"date-time":"2025-08-13T00:00:00Z","timestamp":1755043200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,8,13]],"date-time":"2025-08-13T00:00:00Z","timestamp":1755043200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2025,9]]},"DOI":"10.1007\/s10626-025-00417-6","type":"journal-article","created":{"date-parts":[[2025,8,13]],"date-time":"2025-08-13T13:57:02Z","timestamp":1755093422000},"page":"233-265","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Complexity reduction in enforcing disjunctive generalized mutual exclusion constraints"],"prefix":"10.1007","volume":"35","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8648-5173","authenticated-orcid":false,"given":"Farzad","family":"Abdous","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6790-9567","authenticated-orcid":false,"given":"Abbas","family":"Dideban","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,8,13]]},"reference":[{"key":"417_CR1","doi-asserted-by":"publisher","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. https:\/\/doi.org\/10.1016\/j.automatica.2006.02.003","journal-title":"Automatica"},{"key":"417_CR2","doi-asserted-by":"publisher","DOI":"10.1201\/b14588","volume-title":"Optimal supervisory control of automated manufacturing systems","author":"Y Chen","year":"2013","unstructured":"Chen Y, Li Z (2013) Optimal supervisory control of automated manufacturing systems. CRC, New York"},{"key":"417_CR3","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1109\/TASE.2010.2060332","volume":"8","author":"Y Chen","year":"2011","unstructured":"Chen Y, Li Z, Khalgui M, Mosbahi O (2011) Design of a maximally permissive Liveness- enforcing petri net supervisor for flexible manufacturing systems. IEEE Trans Autom Sci Eng 8:374\u2013393. https:\/\/doi.org\/10.1109\/TASE.2010.2060332","journal-title":"IEEE Trans Autom Sci Eng"},{"key":"417_CR4","doi-asserted-by":"publisher","first-page":"3404","DOI":"10.1109\/TSMC.2021.3069201","volume":"52","author":"YF Chen","year":"2021","unstructured":"Chen YF, Li YT, Li ZW, Wu NQ (2021) On optimal supervisor design for Discrete-Event systems modeled with petri Nets via constraint simplification. IEEE Trans Syst Man Cybern: Syst 52:3404\u20133418. https:\/\/doi.org\/10.1109\/TSMC.2021.3069201","journal-title":"IEEE Trans Syst Man Cybern: Syst"},{"key":"417_CR5","doi-asserted-by":"publisher","unstructured":"Cho YC, Kwon WH (2000) Inhibitor arc based state avoidance controller for non-convex forbidden state problems in Petri nets. In Proc. of the 39th IEEE Conf Decis Control 2682\u20132687. https:\/\/doi.org\/10.1109\/CDC.2000.914210","DOI":"10.1109\/CDC.2000.914210"},{"key":"417_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10669-9","volume-title":"Discrete continuous and hybrid petri Nets","author":"R David","year":"2010","unstructured":"David R, Alla H (2010) Discrete continuous and hybrid petri Nets. Springer, Cham"},{"key":"417_CR7","first-page":"48","volume":"7","author":"A Dideban","year":"2005","unstructured":"Dideban A, Alla H (2005) From forbidden States to linear constraints for optimal supervisory synthesis. J Control Eng Appl Inf 7:48\u201355","journal-title":"J Control Eng Appl Inf"},{"key":"417_CR8","doi-asserted-by":"publisher","first-page":"1697","DOI":"10.1016\/j.automatica.2007.10.031","volume":"44","author":"A Dideban","year":"2008","unstructured":"Dideban A, Alla H (2008) Reduction of constraints for controller synthesis based on safe petri Nets. Automatica 44:1697\u20131706. https:\/\/doi.org\/10.1016\/j.automatica.2007.10.031","journal-title":"Automatica"},{"key":"417_CR9","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1002\/asjc.528","volume":"15","author":"A Dideban","year":"2013","unstructured":"Dideban A, Zareiee M, Alla H (2013) Controller synthesis with highly simplified linear constraints. Asian J Control 15:80\u201394. https:\/\/doi.org\/10.1002\/asjc.528","journal-title":"Asian J Control"},{"key":"417_CR10","first-page":"3","volume":"16","author":"A Dideban","year":"2014","unstructured":"Dideban A, Zareiee M, Orouji A (2014) A simple petri net controller by solving some integer linear programming problems. J Control Eng Appl Inf 16:3\u201311","journal-title":"J Control Eng Appl Inf"},{"key":"417_CR11","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1109\/TRA.2002.807555","volume":"19","author":"A Ghaffari","year":"2003","unstructured":"Ghaffari A, Nidhal 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\u2013141. https:\/\/doi.org\/10.1109\/TRA.2002.807555","journal-title":"IEEE Trans Robot Autom"},{"key":"417_CR12","doi-asserted-by":"publisher","unstructured":"Giua A, DiCesare F, Silva M (1992) Generalized Mutual Exclusion Constraints on Nets with Uncontrollable Transitions. In Proc 1992 IEEE Int Conf Syst Man Cybern 974\u2013979. https:\/\/doi.org\/10.1109\/ICSMC.1992.271666","DOI":"10.1109\/ICSMC.1992.271666"},{"key":"417_CR13","doi-asserted-by":"publisher","first-page":"391","DOI":"10.21203\/rs.3.rs-1345404\/v1","volume":"5","author":"M Gonza","year":"2022","unstructured":"Gonza M, Alla H, Bitjoka L (2022) Structural design of supreme controller with uncontrollable transitions. Adv Theor Comput Phys 5:391\u2013406. https:\/\/doi.org\/10.21203\/rs.3.rs-1345404\/v1","journal-title":"Adv Theor Comput Phys"},{"key":"417_CR14","doi-asserted-by":"publisher","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 system. Discret Event Dyn Syst 7:151\u2013190. https:\/\/doi.org\/10.1023\/A:1008271916548","journal-title":"Discret Event Dyn Syst"},{"key":"417_CR15","first-page":"105","volume-title":"Modeling and control of discrete-event dynamic systems: with petri Nets and other tools","author":"B Hr\u00faz","year":"2007","unstructured":"Hr\u00faz B, Zhou M (2007) Modeling and control of discrete-event dynamic systems: with petri Nets and other tools. Springer, London, p 105"},{"key":"417_CR16","doi-asserted-by":"publisher","first-page":"2036","DOI":"10.1109\/ACC.2002.1024796","volume":"48","author":"MV Iordache","year":"2002","unstructured":"Iordache MV, Antsaklis PJ (2002) Synthesis of supervisors enforcing general linear constraints in petri Nets. IEEE Trans Autom Control 48:2036\u20132039. https:\/\/doi.org\/10.1109\/ACC.2002.1024796","journal-title":"IEEE Trans Autom Control"},{"key":"417_CR17","doi-asserted-by":"publisher","unstructured":"Iordache MV, Antsaklis PJ (2005) A structural approach to the enforcement of language and disjunctive constraints. In Proc. of the 2007 Am. Control.: 3920\u20133925. https:\/\/doi.org\/10.1109\/ACC.2005.1470588","DOI":"10.1109\/ACC.2005.1470588"},{"key":"417_CR18","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1007\/s10626-006-0021-9","volume":"16","author":"MV Iordache","year":"2006","unstructured":"Iordache MV, Antsaklis PJ (2006) Supervision based on place invariants: A survey. Discret. Event Dyn Syst 16:451\u2013492. https:\/\/doi.org\/10.1007\/s10626-006-0021-9","journal-title":"Event Dyn Syst"},{"key":"417_CR19","doi-asserted-by":"publisher","unstructured":"Iordache MV, Antsaklis PJ (2007) Petri Net Supervisors for Disjunctive Constraints. In Proc. of the 2007 Am. Control.: 4951\u20134956. https:\/\/doi.org\/10.1109\/ACC.2007.4282231","DOI":"10.1109\/ACC.2007.4282231"},{"key":"417_CR20","doi-asserted-by":"publisher","unstructured":"Iordache MV, Wu P, Zhu F, Antsaklis PJ (2013) Efficient design of Petri-net supervisors with disjunctive specifications. In Proc 2013 IEEE Int Conf Autom Sci Eng 936\u2013941. https:\/\/doi.org\/10.1109\/CoASE.2013.6653978","DOI":"10.1109\/CoASE.2013.6653978"},{"key":"417_CR21","doi-asserted-by":"publisher","first-page":"2751","DOI":"10.1109\/TAC.2011.2128590","volume":"56","author":"JL Luo","year":"2011","unstructured":"Luo JL, Nonami K (2011) Approach for transforming linear constraints on petri Nets. IEEE Trans Autom Control 56:2751\u20132765. https:\/\/doi.org\/10.1109\/TAC.2011.2128590","journal-title":"IEEE Trans Autom Control"},{"key":"417_CR22","doi-asserted-by":"publisher","first-page":"1097","DOI":"10.1016\/j.automatica.2012.02.002","volume":"48","author":"JL Luo","year":"2012","unstructured":"Luo JL, Shao H, Nonami K, Jin F (2012) Maximally permissive supervisor synthesis based on a new constraint transformation. Automatica 48:1097\u20131101. https:\/\/doi.org\/10.1016\/j.automatica.2012.02.002","journal-title":"Automatica"},{"key":"417_CR23","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1109\/TAC.2014.2336431","volume":"60","author":"JL Luo","year":"2014","unstructured":"Luo JL, Ni H, Wu W, Wang S, Zhou M (2014) Simultaneous reduction of petri Nets and linear constraints for efficient supervisor synthesis. IEEE Trans Autom Control 60:88\u2013103. https:\/\/doi.org\/10.1109\/TAC.2014.2336431","journal-title":"IEEE Trans Autom Control"},{"key":"417_CR24","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1109\/TAC.2019.2918052","volume":"65","author":"JL Luo","year":"2020","unstructured":"Luo JL, Wu WM, Zhou MC, Shao H, Nonami K, Su HY (2020) Structural controller for logical expression of linear constraints on petri Nets. IEEE Trans Autom Control 65:397\u2013403. https:\/\/doi.org\/10.1109\/TAC.2019.2918052","journal-title":"IEEE Trans Autom Control"},{"key":"417_CR25","doi-asserted-by":"publisher","unstructured":"Ma Z, Li Z, Giua A (2013) Petri net controllers for disjunctive generalized mutual exclusion constraints. In Proc 2013 IEEE 18th Conf Emerg Technol Fact Autom 1\u20138. https:\/\/doi.org\/10.1109\/ETFA.2013.6648003","DOI":"10.1109\/ETFA.2013.6648003"},{"key":"417_CR26","doi-asserted-by":"publisher","first-page":"1774","DOI":"10.1109\/TAC.2015.2389313","volume":"60","author":"Z Ma","year":"2015","unstructured":"Ma Z, Li Z, Giua A (2015) Design of optimal petri net controllers for disjunctive generalized mutual exclusion constraints. IEEE Trans Autom Control 60:1774\u20131785. https:\/\/doi.org\/10.1109\/TAC.2015.2389313","journal-title":"IEEE Trans Autom Control"},{"key":"417_CR27","doi-asserted-by":"publisher","first-page":"462","DOI":"10.1109\/9.847725","volume":"45","author":"JO Moody","year":"2000","unstructured":"Moody JO, Antsaklis PJ (2000) Petri net supervisors for DES with uncontrollable and unobservable transitions. IEEE Trans Autom Control 45:462\u2013476. https:\/\/doi.org\/10.1109\/9.847725","journal-title":"IEEE Trans Autom Control"},{"key":"417_CR28","doi-asserted-by":"publisher","unstructured":"Murata T (1998) Petri nets Properties, analysis and application. In Proc IEEE 77: 541\u2013580. https:\/\/doi.org\/10.1109\/5.24143","DOI":"10.1109\/5.24143"},{"key":"417_CR29","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2406336.2406348","volume":"12","author":"P Nazemzadeh","year":"2013","unstructured":"Nazemzadeh P, Dideban A, Zareiee M (2013) Fault modeling in discrete event systems using petri Nets. ACM Trans Embed Comput Syst 12:1\u201319. https:\/\/doi.org\/10.1145\/2406336.2406348","journal-title":"ACM Trans Embed Comput Syst"},{"key":"417_CR30","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1137\/0325013","volume":"25","author":"P Ramadge","year":"1987","unstructured":"Ramadge P, Wonham W (1987) Supervisory control of a class of Discrete-Event processes. SIAM J Control Optim 25:206\u2013230. https:\/\/doi.org\/10.1137\/0325013","journal-title":"SIAM J Control Optim"},{"key":"417_CR31","doi-asserted-by":"publisher","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. Discret Event Dyn Syst 12:7\u201341. https:\/\/doi.org\/10.1023\/A:1013331703036","journal-title":"Discret Event Dyn Syst"},{"key":"417_CR32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-77452-7","volume-title":"Supervisory control of Discrete-Event systems","author":"W Wonham","year":"2019","unstructured":"Wonham W, Cai K (2019) Supervisory control of Discrete-Event systems. Springer, Switzerland"},{"key":"417_CR33","doi-asserted-by":"publisher","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:15\u201328. https:\/\/doi.org\/10.1016\/0005-1098(95)00103-4","journal-title":"Automatica"},{"key":"417_CR35","doi-asserted-by":"publisher","first-page":"20","DOI":"10.5281\/zenodo.1077365","volume":"5","author":"M Zareiee","year":"2011","unstructured":"Zareiee M, Dideban A (2011) Reducing the number of constraints in non-safe petri net. Int J Electr Comput Eng 5:20\u201323. https:\/\/doi.org\/10.5281\/zenodo.1077365","journal-title":"Int J Electr Comput Eng"},{"key":"417_CR36","first-page":"167","volume":"73","author":"M Zareiee","year":"2011","unstructured":"Zareiee M, Dideban A, Nazemzadeh P (2011) From forbidden States to linear constraints. World Acad Sci Eng Technol 73:167\u2013173","journal-title":"World Acad Sci Eng Technol"},{"key":"417_CR37","doi-asserted-by":"publisher","first-page":"188","DOI":"10.3182\/20120523-3-RO-2023.00100","volume":"45","author":"M Zareiee","year":"2012","unstructured":"Zareiee M, Dideban A, Orouji AA, Alla H (2012) A simple Petri net controller in discrete event systems. IFAC Proc 45:188\u2013193. https:\/\/doi.org\/10.3182\/20120523-3-RO-2023.00100","journal-title":"IFAC Proc"},{"key":"417_CR38","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1016\/j.isatra.2013.09.006","volume":"53","author":"M Zareiee","year":"2014","unstructured":"Zareiee M, Dideban A, Orouji A (2014) Safety analysis of discrete event systems using a simplified petri net controller. ISA Trans 53:44\u201349. https:\/\/doi.org\/10.1016\/j.isatra.2013.09.006","journal-title":"ISA Trans"},{"key":"417_CR39","doi-asserted-by":"publisher","first-page":"1006","DOI":"10.1002\/asjc.947","volume":"17","author":"M Zareiee","year":"2015","unstructured":"Zareiee M, Dideban A, Orouji A, Soltanizadeh H (2015) Solving the problem of forbidden States in discrete event systems: A novel systematic method for reducing the number of control places. Asian J Control 17:1006\u20131015. https:\/\/doi.org\/10.1002\/asjc.947","journal-title":"Asian J Control"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-025-00417-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10626-025-00417-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-025-00417-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,17]],"date-time":"2025-09-17T12:07:45Z","timestamp":1758110865000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10626-025-00417-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,13]]},"references-count":38,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2025,9]]}},"alternative-id":["417"],"URL":"https:\/\/doi.org\/10.1007\/s10626-025-00417-6","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"type":"print","value":"0924-6703"},{"type":"electronic","value":"1573-7594"}],"subject":[],"published":{"date-parts":[[2025,8,13]]},"assertion":[{"value":"17 August 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"9 June 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 August 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors have no conflict of interest to declare relevant to this article.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}]}}