{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,18]],"date-time":"2025-10-18T20:28:35Z","timestamp":1760819315645,"version":"3.41.2"},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Discrete Event Dynamic Systems"],"published-print":{"date-parts":[[2002,1]]},"DOI":"10.1023\/a:1013331703036","type":"journal-article","created":{"date-parts":[[2002,12,23]],"date-time":"2002-12-23T16:46:14Z","timestamp":1040661974000},"page":"7-41","source":"Crossref","is-referenced-by-count":43,"title":["Structuring Acyclic Petri Nets for Reachability Analysis and Control"],"prefix":"10.1007","volume":"12","author":[{"given":"G.","family":"Stremersch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R. K.","family":"Boel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"390397_CR1","unstructured":"Boel, R. K., Bordbar, B., and Stremersch, G. 1998. A min-plus polynomial approach to forbidden state control for general Petri nets. Proceedings of the 4th International Workshop on Discrete Event Systems, pp. 79\u201384."},{"key":"390397_CR2","unstructured":"Davey, B. A., and Priestley, H. A. 1990. Introduction to Lattices and Order. Cambridge University Press."},{"key":"390397_CR3","doi-asserted-by":"crossref","unstructured":"Desel, J., and Esparza, J. 1995. Free choice Petri nets number 40. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press.","DOI":"10.1017\/CBO9780511526558"},{"key":"390397_CR4","doi-asserted-by":"crossref","unstructured":"Giua, A., DiCesare, F., and Silva, M. 1992. Generalized mutual exclusion constraints on nets with uncontrollable transitions. Proceedings of the 1992 IEEE International Conference on Systems, Man and Cybernetics, pp. 974\u2013979.","DOI":"10.1109\/ICSMC.1992.271666"},{"key":"390397_CR5","first-page":"267","volume":"1","author":"A. Giua","year":"1993","unstructured":"Giua, A., DiCesare, F., and Silva, M. 1993. Petri net supervisors for generalized mutual exclusion constraints. Preprints of papers of the 12th IFAC World Congress. Vol. 1. Sydney, Australia, pp. 267\u2013270.","journal-title":"Preprints of papers of the 12th IFAC World Congress"},{"issue":"5","key":"390397_CR6","doi-asserted-by":"crossref","first-page":"514","DOI":"10.1109\/9.53517","volume":"35","author":"L. E. Holloway","year":"1990","unstructured":"Holloway, L. E., and Krogh, B. H. 1990. Synthesis of feedback control logic for a class of controlled Petri nets. IEEE Transactions on Automatic Control 35(5): 514\u2013523.","journal-title":"IEEE Transactions on Automatic Control"},{"key":"390397_CR7","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1023\/A:1008271916548","volume":"7","author":"L. E. Holloway","year":"1997","unstructured":"Holloway, L. E., Krogh, B. H., and Giua A. 1997. A survey of Petri net methods for controlled discrete event systems. Discrete Event Dynamic Systems: Theory and Applications 7: 151\u2013190.","journal-title":"Discrete Event Dynamic Systems: Theory and Applications"},{"issue":"6","key":"390397_CR8","doi-asserted-by":"crossref","first-page":"804","DOI":"10.1109\/9.506233","volume":"41","author":"L. E. Holloway","year":"1996","unstructured":"Holloway, L. E., Guan, X., and Zhang, L. 1996. A generalization of state avoidance policies for controlled Petri nets. IEEE Transactions on Automatic Control 41(6): 804\u2013815.","journal-title":"IEEE Transactions on Automatic Control"},{"key":"390397_CR9","doi-asserted-by":"crossref","unstructured":"Ichikawa, A., and Hiraishi, K. 1987. Analysis and control of discrete event systems represented by Petri nets. Discrete Event Systems: Models and Applications. Vol. 103 of Lecture Notes in Control and Information Sciences. Springer-Verlag, pp. 115\u2013134.","DOI":"10.1007\/BFb0042308"},{"issue":"2","key":"390397_CR10","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1145\/261342.261351","volume":"28","author":"A. E. Kostin","year":"1997","unstructured":"Kostin, A. E. 1997. The novel algorithm for determining the reachability in acyclic Petri nets. SIGACT News 28(2): 70\u201379.","journal-title":"SIGACT News"},{"issue":"3","key":"390397_CR11","doi-asserted-by":"crossref","first-page":"512","DOI":"10.1109\/9.280750","volume":"39","author":"Y. Li","year":"1994","unstructured":"Li, Y., and Wonham, W. M. 1994. Control of vector discrete-event systems\u2014Part 2: controller synthesis. IEEE Transactions on Automatic Control 39(3): 512\u2013531.","journal-title":"IEEE Transactions on Automatic Control"},{"key":"390397_CR12","unstructured":"Moody, J. O., and Antsaklis, P. J. 1998. Petri net supervisors for DES with uncontrollable and unobservable transitions. Technical Report ISIS\u201398\u2013002. ISIS Group at the University of Notre Dame."},{"issue":"4","key":"390397_CR13","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. Proceedings IEEE 77(4): 541\u2013580.","journal-title":"Proceedings IEEE"},{"key":"390397_CR14","unstructured":"Peterson, J. L. 1981). Petri Net Theory and the Modelling of Systems. Prentice-Hall."},{"key":"390397_CR15","doi-asserted-by":"crossref","unstructured":"Stremersch, G., and Boel, R. K. 1999. Controlled Petri nets and general legal sets. Proceedings of the 38th IEEE Conference on Decision and Control, pp. 1731\u20131736.","DOI":"10.1109\/CDC.1999.830286"},{"issue":"12","key":"390397_CR16","doi-asserted-by":"crossref","first-page":"2358","DOI":"10.1109\/9.895574","volume":"45","author":"G. Stremersch","year":"2000","unstructured":"Stremersch, G., and Boel, R. K. 2000. Reduction of the supervisory control problem for Petri nets. IEEE Transactions on Automatic Control 45(12): 2358\u20132363.","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"7","key":"390397_CR17","doi-asserted-by":"crossref","first-page":"844","DOI":"10.1109\/9.57027","volume":"35","author":"T. Ushio","year":"1990","unstructured":"Ushio, T. 1990. Maximally permissive feedback and modular control synthesis in Petri nets with external input places. IEEE Transactions on Automatic Control 35(7): 844\u2013848.","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"1","key":"390397_CR18","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., and Antsaklis, P. 1996. Feedback control of Petri nets based on place invariants. Automatica 32(1): 15\u201328.","journal-title":"Automatica"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1013331703036.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1013331703036\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1013331703036.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,29]],"date-time":"2025-07-29T04:01:26Z","timestamp":1753761686000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1013331703036"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,1]]},"references-count":18,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2002,1]]}},"alternative-id":["390397"],"URL":"https:\/\/doi.org\/10.1023\/a:1013331703036","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"type":"print","value":"0924-6703"},{"type":"electronic","value":"1573-7594"}],"subject":[],"published":{"date-parts":[[2002,1]]}}}