{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,2]],"date-time":"2026-04-02T16:09:24Z","timestamp":1775146164858,"version":"3.50.1"},"publisher-location":"London","reference-count":18,"publisher":"Springer London","isbn-type":[{"value":"9781447142751","type":"print"},{"value":"9781447142768","type":"electronic"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"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":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-1-4471-4276-8_12","type":"book-chapter","created":{"date-parts":[[2012,7,26]],"date-time":"2012-07-26T18:19:09Z","timestamp":1343326749000},"page":"235-255","source":"Crossref","is-referenced-by-count":23,"title":["Supervisory Control of Petri Nets with Language Specifications"],"prefix":"10.1007","author":[{"given":"Alessandro","family":"Giua","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1006\/jcss.1999.1634","volume":"59","author":"S. Gaubert","year":"1999","unstructured":"Gaubert, S., Giua, A.: Petri net languages and infinite subsets of \u2115m. Journal of Computer and System Sciences\u00a059, 373\u2013391 (1999)","journal-title":"Journal of Computer and System Sciences"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Giua, A., DiCesare, F., Silva, M.: Generalized Mutual Exclusion Constraints for Nets with Uncontrollable Transitions. In: Proc. IEEE Int. Conf. on Systems, Man and Cybernetics, Chicago, USA, pp. 974\u2013799 (1992)","DOI":"10.1109\/ICSMC.1992.271666"},{"issue":"4","key":"12_CR3","doi-asserted-by":"publisher","first-page":"818","DOI":"10.1109\/9.286260","volume":"39","author":"A. Giua","year":"1994","unstructured":"Giua, A., DiCesare, F.: Blocking and controllability of Petri nets in supervisory control. IEEE Transactions on Automatic Control\u00a039(4), 818\u2013823 (1994)","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"5","key":"12_CR4","doi-asserted-by":"publisher","first-page":"906","DOI":"10.1109\/9.384227","volume":"40","author":"A. Giua","year":"1995","unstructured":"Giua, A., DiCesare, F.: Decidability and closure properties of weak Petri net languages in supervisory control. IEEE Transactions on Automatic Control\u00a040(5), 906\u2013910 (1995)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"12_CR5","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1023\/A:1008271916548","volume":"7","author":"L.E. Holloway","year":"1997","unstructured":"Holloway, L.E., Krogh, B.H., Giua, A.: A Survey of Petri Net Methods for Controlled Discrete Event Systems. Discrete Event Dynamic Systems\u00a07, 151\u2013190 (1997)","journal-title":"Discrete Event Dynamic Systems"},{"key":"12_CR6","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1007\/s10626-006-0021-9","volume":"16","author":"M.V. Iordache","year":"2006","unstructured":"Iordache, M.V., Antsaklis, P.J.: Supervision Based on Place Invariants: A Survey. Discrete Event Dynamic Systems\u00a016, 451\u2013492 (2006)","journal-title":"Discrete Event Dynamic Systems"},{"key":"12_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1007\/978-3-540-47919-2_15","volume-title":"Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986","author":"M. Jantzen","year":"1987","unstructured":"Jantzen, M.: Language Theory of Petri Nets. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) APN 1986. LNCS, vol.\u00a0254, pp. 397\u2013412. Springer, Heidelberg (1987)"},{"key":"12_CR8","unstructured":"Johnen, C., Frutos Escrig, D.: Decidability of home space property. In: LRI 503. Univ. d\u2019Orsay (1989)"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Moody, J.O., Antsaklis, P.J.: Supervisory Control of Discrete Event Systems Using Petri Nets. Kluwer (1998)","DOI":"10.1007\/978-1-4615-5711-1"},{"key":"12_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"346","DOI":"10.1007\/BFb0016220","volume-title":"Advances in Petri Nets 1985","author":"M. Parigot","year":"1986","unstructured":"Parigot, M., Pelz, E.: A Logical Formalism for the Study of Finite Behaviour of Petri Nets. In: Rozenberg, G. (ed.) APN 1985. LNCS, vol.\u00a0222, pp. 346\u2013361. Springer, Heidelberg (1986)"},{"key":"12_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1007\/BFb0039620","volume-title":"STACS 87","author":"E. Pelz","year":"1987","unstructured":"Pelz, E.: Closure Properties of Deterministic Petri Net Languages. In: Brandenburg, F.J., Wirsing, M., Vidal-Naquet, G. (eds.) STACS 1987. LNCS, vol.\u00a0247, pp. 373\u2013382. Springer, Heidelberg (1987)"},{"key":"12_CR12","volume-title":"Petri Net Theory and the Modeling of Systems","author":"J.L. Peterson","year":"1981","unstructured":"Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice-Hall, Englewood Cliffs (1981)"},{"issue":"1","key":"12_CR13","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1109\/5.21072","volume":"77","author":"P.J. Ramadge","year":"1989","unstructured":"Ramadge, P.J., Wonham, W.M.: The control of discrete event systems. Proceedings of the IEEE\u00a077(1), 81\u201398 (1989)","journal-title":"Proceedings of the IEEE"},{"key":"12_CR14","unstructured":"Reutenauer, C.: The Mathematics of Petri Nets. Masson and Prentice-Hall (1990)"},{"issue":"7","key":"12_CR15","doi-asserted-by":"publisher","first-page":"928","DOI":"10.1109\/9.599972","volume":"42","author":"R.S. Sreenivas","year":"1997","unstructured":"Sreenivas, R.S.: On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modeled by controlled Petri nets. IEEE Transactions on Automatic Control\u00a042(7), 928\u2013945 (1997)","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"5","key":"12_CR16","doi-asserted-by":"publisher","first-page":"799","DOI":"10.1109\/TAC.2006.875026","volume":"51","author":"R.S. Sreenivas","year":"2006","unstructured":"Sreenivas, R.S.: On minimal representations of Petri net languages. IEEE Transactions on Automatic Control\u00a051(5), 799\u2013804 (2006)","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"2","key":"12_CR17","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1109\/TAC.2011.2159883","volume":"57","author":"R.S. Sreenivas","year":"2012","unstructured":"Sreenivas, R.S.: On the Existence of Supervisory Policies That Enforce Liveness in Partially Controlled Free-Choice Petri Nets. IEEE Transactions on Automatic Control\u00a057(2), 435\u2013449 (2012)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"12_CR18","series-title":"Informatick-Fachberichte","volume-title":"Application and Theory of Petri Net","author":"G. Vidal-Naquet","year":"1982","unstructured":"Vidal-Naquet, G.: Deterministic Petri net languages. In: Girault, C., Reisig, W. (eds.) Application and Theory of Petri Net. Informatick-Fachberichte, vol.\u00a052. Springer, New York (1982)"}],"container-title":["Lecture Notes in Control and Information Sciences","Control of Discrete-Event Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-4276-8_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,5]],"date-time":"2025-04-05T14:43:10Z","timestamp":1743864190000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4471-4276-8_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9781447142751","9781447142768"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-4276-8_12","relation":{},"ISSN":["0170-8643","1610-7411"],"issn-type":[{"value":"0170-8643","type":"print"},{"value":"1610-7411","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}