{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T22:43:49Z","timestamp":1648766629410},"reference-count":44,"publisher":"Oxford University Press (OUP)","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IMA J Math Control Info"],"published-print":{"date-parts":[[2016,6]]},"DOI":"10.1093\/imamci\/dnu041","type":"journal-article","created":{"date-parts":[[2014,10,26]],"date-time":"2014-10-26T00:44:01Z","timestamp":1414284241000},"page":"309-332","source":"Crossref","is-referenced-by-count":2,"title":["Confusion avoidance for discrete event systems by P\/E constraints and supervisory control"],"prefix":"10.1093","volume":"33","author":[{"given":"Xiaoliang","family":"Chen","sequence":"first","affiliation":[]},{"given":"Zhiwu","family":"Li","sequence":"additional","affiliation":[]},{"given":"Naiqi","family":"Wu","sequence":"additional","affiliation":[]},{"given":"Abdulrahman M.","family":"Al-Ahmari","sequence":"additional","affiliation":[]},{"given":"Abdulaziz Mohammed","family":"El-Tamimi","sequence":"additional","affiliation":[]},{"given":"Emad S.","family":"Abouel Nasr","sequence":"additional","affiliation":[]}],"member":"286","published-online":{"date-parts":[[2014,10,24]]},"reference":[{"key":"2016070502323264000_33.2.309.1","doi-asserted-by":"crossref","unstructured":"Bolton C. (2005) Adding conflict and confusion to CSP. Proceedings of International Conference on Formal Methods ( Fitzgerald J. Hayes J. Tarlecki A. eds). Lecture Notes in Computer Science, vol. 3582. Berlin: Springer, pp. 205\u2013220.","DOI":"10.1007\/11526841_15"},{"key":"2016070502323264000_33.2.309.2","doi-asserted-by":"crossref","unstructured":"Bolton C. (2007) Capturing conflict and confusion in CSP. Proceedings of the 6th International Conference on Integrated Formal Methods ( Davies J. Gibbons J. eds). Lecture Notes in Computer Science, vol. 4591. Berlin: Springer, pp. 413\u2013438.","DOI":"10.1007\/978-3-540-73210-5_22"},{"key":"2016070502323264000_33.2.309.3","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2012.2199307"},{"key":"2016070502323264000_33.2.309.4","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2011.01.070"},{"key":"2016070502323264000_33.2.309.5","doi-asserted-by":"crossref","unstructured":"Chen Y. F. Li Z. W. (2013) Optimal Supervisory Control of Automated Manufacturing Systems. New York: CRC Press, Taylor & Francis Group.","DOI":"10.1201\/b14588"},{"key":"2016070502323264000_33.2.309.6","doi-asserted-by":"publisher","DOI":"10.1002\/asjc.690"},{"key":"2016070502323264000_33.2.309.7","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2010.2060332"},{"key":"2016070502323264000_33.2.309.8","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2013.2241762"},{"key":"2016070502323264000_33.2.309.9","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2014.2307284"},{"key":"2016070502323264000_33.2.309.10","first-page":"48","article-title":"From forbidden states to linear constraints for the optimal supervisor synthesis","volume":"7","author":"Dideban","year":"2005","journal-title":"Control Eng. Appl. Inform."},{"key":"2016070502323264000_33.2.309.11","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2007.897690"},{"key":"2016070502323264000_33.2.309.12","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2010.2063022"},{"key":"2016070502323264000_33.2.309.13","unstructured":"Giua A. DiCesare F. Silva M. (1992) Generalized mutual exclusion constraints on nets with uncontrollable transitions. Proceedings of IEEE International Conference on Systems, Man and Cybernetics. Chicago, IL, USA: IEEE, pp. 974\u2013979."},{"key":"2016070502323264000_33.2.309.14","doi-asserted-by":"crossref","first-page":"105","DOI":"10.3233\/FI-2000-43123406","article-title":"Occurrence net logics","volume":"43","author":"Haar","year":"2000","journal-title":"Fund. Inform."},{"key":"2016070502323264000_33.2.309.15","first-page":"259","article-title":"Clusters, confusion and unfoldings","volume":"47","author":"Haar","year":"2001","journal-title":"Fund. Inform."},{"key":"2016070502323264000_33.2.309.16","doi-asserted-by":"publisher","DOI":"10.1109\/9.53517"},{"key":"2016070502323264000_33.2.309.17","unstructured":"Iordache M. V. Antsaklis P. J. (2006a) Supervisory Control of Concurrent Systems: A Petri Net Structural Approach. Berlin: Springer."},{"key":"2016070502323264000_33.2.309.18","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-006-0021-9"},{"key":"2016070502323264000_33.2.309.19","doi-asserted-by":"crossref","unstructured":"Katoen J. P. (2012) GSPNs Revisited simple semantics and new analysis algorithms. Proceedings of the 2012 International Conference on Application of Concurrency to System Design. Hamburg, Germany: IEEE.","DOI":"10.1109\/ACSD.2012.30"},{"key":"2016070502323264000_33.2.309.20","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2010.2058102"},{"key":"2016070502323264000_33.2.309.21","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2007.897333"},{"key":"2016070502323264000_33.2.309.22","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2011.2147308"},{"key":"2016070502323264000_33.2.309.23","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2011.2160626"},{"key":"2016070502323264000_33.2.309.24","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.914741"},{"key":"2016070502323264000_33.2.309.25","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.820576"},{"key":"2016070502323264000_33.2.309.26","doi-asserted-by":"crossref","first-page":"1277","DOI":"10.1109\/TSMCA.2006.878966","article-title":"Clarifications on the definitions of elementary siphons of Petri nets","volume":"36","author":"Li","year":"2006","journal-title":"IEEE Trans. Syst. Man Cybernet. Part A"},{"key":"2016070502323264000_33.2.309.27","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2006.885185"},{"key":"2016070502323264000_33.2.309.28","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.909548"},{"key":"2016070502323264000_33.2.309.29","unstructured":"Li Z. W. Zhou M. C. (2009) Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach. London: Springer."},{"key":"2016070502323264000_33.2.309.30","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2006.884674"},{"key":"2016070502323264000_33.2.309.31","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2007.913920"},{"key":"2016070502323264000_33.2.309.32","doi-asserted-by":"crossref","first-page":"970","DOI":"10.1109\/TSMCA.2012.2183358","article-title":"Fault diagnosis of discrete-event systems using continuous Petri nets","volume":"42","author":"Mahulea","year":"2012","journal-title":"IEEE Trans. Syst. Man Cybernet. Part A: Syst. Hum."},{"key":"2016070502323264000_33.2.309.33","unstructured":"Marsan M. A. Balbo G. Conte G. Donatelli S. Franceschinis G. (1995) Modelling with Generalized Stochastic Petri Nets. Hoboken, USA: John Wiley."},{"key":"2016070502323264000_33.2.309.34","unstructured":"Peterson J. L. (1981) Petri Net Theory and the Modeling of Systems. New Jersey: Prentice-Hall."},{"key":"2016070502323264000_33.2.309.35","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2011.2169950"},{"key":"2016070502323264000_33.2.309.36","doi-asserted-by":"crossref","unstructured":"Rozenberg G. Engelfriet J. (1998) Elementary net systems. Lectures on Petri Nets I: Basic Models ( Reisig W. Rozenberg G. eds). Lecture Notes in Computer Science, vol. 1491. Berlin: Springer, pp. 12\u2013121.","DOI":"10.1007\/3-540-65306-6_14"},{"key":"2016070502323264000_33.2.309.37","unstructured":"Rozenberg G. Thiagarajan P. S. (1986) Petri nets: Basic notions, structure, behaviour. Current Trends in Concurrency: Overviews and Tutorials ( de Bakker J. de Roever W. Rozenberg G. eds). Lecture Notes in Computer Science, vol. 224. Berlin: Springer, pp. 585\u2013668."},{"key":"2016070502323264000_33.2.309.38","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(95)00123-9"},{"key":"2016070502323264000_33.2.309.39","unstructured":"van der Aalst W. (1997) Verification of workflow nets. Application and Theory of Petri Nets ( Azma P. Balbo G. eds). Lecture Notes in Computer Science, vol. 1248. Berlin: Springer, pp. 407\u2013426."},{"key":"2016070502323264000_33.2.309.40","doi-asserted-by":"crossref","unstructured":"van der Aalst W. (2000) Workflow verification: finding control-flow errors using Petri-net-based techniques. Business Process Management: Models, Techniques, and Empirical Studies ( van der Aalst W. Desel J. Oberweis A. eds). Lecture Notes in Computer Science, vol. 1806. Berlin: Springer, pp. 19\u2013128.","DOI":"10.1007\/3-540-45594-9_11"},{"key":"2016070502323264000_33.2.309.41","unstructured":"van der Aalst W. Hee K. (2004) Workflow Management: Models, Methods, and Systems. Cambridge: MIT Press."},{"key":"2016070502323264000_33.2.309.42","doi-asserted-by":"publisher","DOI":"10.1093\/imamci\/dnt008"},{"key":"2016070502323264000_33.2.309.43","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.909542"},{"key":"2016070502323264000_33.2.309.44","doi-asserted-by":"crossref","unstructured":"Zhang J. F. Khalgui M. Li Z. W. (2014) Reconfigurable coordination of distributed discrete event control systems. IEEE Trans. Control Syst. Technol. DOI:10.1109\/TCST.2014.2313352 .","DOI":"10.1109\/TCST.2014.2313352"}],"container-title":["IMA Journal of Mathematical Control and Information"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/imamci\/article-pdf\/33\/2\/309\/6991541\/dnu041.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,26]],"date-time":"2020-08-26T04:25:21Z","timestamp":1598415921000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/imamci\/article-lookup\/doi\/10.1093\/imamci\/dnu041"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10,24]]},"references-count":44,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2016,7,5]]},"published-print":{"date-parts":[[2016,6]]}},"alternative-id":["10.1093\/imamci\/dnu041"],"URL":"https:\/\/doi.org\/10.1093\/imamci\/dnu041","relation":{},"ISSN":["0265-0754","1471-6887"],"issn-type":[{"value":"0265-0754","type":"print"},{"value":"1471-6887","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,10,24]]}}}