{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:07:05Z","timestamp":1761487625362},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540346999"},{"type":"electronic","value":"9783540347002"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11767589_18","type":"book-chapter","created":{"date-parts":[[2006,6,20]],"date-time":"2006-06-20T14:38:34Z","timestamp":1150814314000},"page":"322-341","source":"Crossref","is-referenced-by-count":13,"title":["Designing Reversibility-Enforcing Supervisors of Polynomial Complexity for Bounded Petri Nets Through the Theory of Regions"],"prefix":"10.1007","author":[{"given":"Spyros A.","family":"Reveliotis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jin Young","family":"Choi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"529","DOI":"10.1007\/3-540-65306-6_22","volume-title":"Lectures on Petri Nets I: Basic Models","author":"E. Badouel","year":"1998","unstructured":"Badouel, E., Darondeau, P.: Theory of regions. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol.\u00a01491, pp. 529\u2013586. Springer, Heidelberg (1998)"},{"key":"18_CR2","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1109\/TRA.2002.807555","volume":"19","author":"A. Ghaffari","year":"2003","unstructured":"Ghaffari, A., Rezg, N., Xie, X.: Design of a live and maximally permissive petri net controller using the theory of regions. IEEE Trans. on Robotics & Automation\u00a019, 137\u2013141 (2003)","journal-title":"IEEE Trans. on Robotics & Automation"},{"key":"18_CR3","doi-asserted-by":"publisher","first-page":"974","DOI":"10.1109\/ICSMC.1992.271666","volume-title":"Proceedings of the 1992 IEEE Intl. Conference on Systems, Man and Cybernetics","author":"A. Giua","year":"1992","unstructured":"Giua, A., DiCesare, F., Silva, M.: Generalized mutual exclusion constraints on nets with uncontrollable transitions. In: Proceedings of the 1992 IEEE Intl. Conference on Systems, Man and Cybernetics, pp. 974\u2013979. IEEE, Los Alamitos (1992)"},{"key":"18_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-5711-1","volume-title":"Supervisory Control of Discrete Event Systems using Petri nets","author":"J.O. Moody","year":"1998","unstructured":"Moody, J.O., Antsaklis, P.J.: Supervisory Control of Discrete Event Systems using Petri nets. Kluwer Academic Pub., Boston (1998)"},{"key":"18_CR5","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of the IEEE\u00a077, 541\u2013580 (1989)","journal-title":"Proceedings of the IEEE"},{"key":"18_CR6","first-page":"190","volume":"16","author":"J. Park","year":"2000","unstructured":"Park, J., Reveliotis, S.: Algebraic synthesis of efficient deadlock avoidance policies for sequential resource allocation systems. IEEE Trans. on R&A\u00a016, 190\u2013195 (2000)","journal-title":"IEEE Trans. on R&A"},{"key":"18_CR7","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1109\/5.21072","volume":"77","author":"P.J.G. Ramadge","year":"1989","unstructured":"Ramadge, P.J.G., Wonham, W.M.: The control of discrete event systems. Proceedings of the IEEE\u00a077, 81\u201398 (1989)","journal-title":"Proceedings of the IEEE"},{"key":"18_CR8","volume-title":"Real-time Management of Resource Allocation Systems: A Discrete Event Systems Approach","author":"S.A. Reveliotis","year":"2005","unstructured":"Reveliotis, S.A.: Real-time Management of Resource Allocation Systems: A Discrete Event Systems Approach. Springer, NY (2005)"},{"key":"18_CR9","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1007\/s001700200014","volume":"19","author":"M. Uzam","year":"2002","unstructured":"Uzam, M.: An optimal deadlock prevention policy for flexible manufacturing systems using petri net models with resources and the theory of regions. Intl. Jrnl of Advanced Manufacturing Technology\u00a019, 192\u2013208 (2002)","journal-title":"Intl. Jrnl of Advanced Manufacturing Technology"},{"key":"18_CR10","volume-title":"Introduction To Mathematical Programming: Applications and Algorithms","author":"W.L. Winston","year":"1995","unstructured":"Winston, W.L.: Introduction To Mathematical Programming: Applications and Algorithms, 2nd edn. Duxbury Press, Belmont (1995)","edition":"2"},{"volume-title":"Deadlock Resolution in Computer-Integrated Systems","year":"2004","key":"18_CR11","unstructured":"Zhou, M., Fanti, M.P. (eds.): Deadlock Resolution in Computer-Integrated Systems. Marcel Dekker, Inc., Singapore (2004)"}],"container-title":["Lecture Notes in Computer Science","Petri Nets and Other Models of Concurrency - ICATPN 2006"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11767589_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:11:25Z","timestamp":1619507485000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11767589_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540346999","9783540347002"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/11767589_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}