{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T13:02:18Z","timestamp":1725886938430},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319578606"},{"type":"electronic","value":"9783319578613"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-57861-3_12","type":"book-chapter","created":{"date-parts":[[2017,5,4]],"date-time":"2017-05-04T02:10:40Z","timestamp":1493863840000},"page":"181-199","source":"Crossref","is-referenced-by-count":2,"title":["Weak Observable Liveness and Infinite Games on Finite Graphs"],"prefix":"10.1007","author":[{"given":"Luca","family":"Bernardinello","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G\u00f6rkem","family":"K\u0131l\u0131n\u00e7","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lucia","family":"Pomello","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,5,5]]},"reference":[{"issue":"1","key":"12_CR1","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0304-3975(87)90090-9","volume":"55","author":"E Best","year":"1987","unstructured":"Best, E., Devillers, R.: Sequential and concurrent behaviour in Petri net theory. Theoret. Comput. Sci. 55(1), 87\u2013136 (1987)","journal-title":"Theoret. Comput. Sci."},{"key":"12_CR2","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1002\/malq.19600060105","volume":"6","author":"J Richard B\u00fcchi","year":"1960","unstructured":"Richard B\u00fcchi, J.: Weak second-order arithmetic and finite automata. Z. Math. Logik Grundlagen Math. 6, 66\u201392 (1960)","journal-title":"Z. Math. Logik Grundlagen Math."},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Richard B\u00fcchi, J.: On a decision method in restricted second order arithmetic. In: Proceedings of the 1960 International Congress Logic, Methodology and Philosophy of Science, pp. 1\u201311. Stanford University Press, Stanford (1962)","DOI":"10.1016\/S0049-237X(09)70564-6"},{"key":"12_CR4","volume-title":"Introduction to Discrete Event Systems","author":"CG Cassandras","year":"2006","unstructured":"Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems. Springer, New York (2006)"},{"key":"12_CR5","unstructured":"Desel, J., K\u0131l\u0131n\u00e7, G.: Observable liveness. In: Moldt, D., R\u00f6lke, H. (eds.) International Workshop on Petri Nets and Software Engineering (PNSE 2014). CEUR Workshop Proceedings, Aachen, vol. 1160, pp. 143\u2013163. CEUR-WS.org. (2014). http:\/\/ceur-ws.org\/Vol-1160\/"},{"issue":"2\u20133","key":"12_CR6","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/s00236-015-0218-1","volume":"52","author":"J Desel","year":"2015","unstructured":"Desel, J., K\u0131l\u0131n\u00e7, G.: Observable liveness of Petri nets. Acta Inf. 52(2\u20133), 153\u2013174 (2015)","journal-title":"Acta Inf."},{"volume-title":"Automata Logics, and Infinite Games: A Guide to Current Research","year":"2002","key":"12_CR7","unstructured":"Gr\u00e4del, E., Thomas, W., Wilke, T. (eds.): Automata Logics, and Infinite Games: A Guide to Current Research. Springer, New York (2002)"},{"issue":"2","key":"12_CR8","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1023\/A:1008271916548","volume":"7","author":"LE 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 Dyn. Syst. 7(2), 151\u2013190 (1997)","journal-title":"Discrete Event Dyn. Syst."},{"issue":"3","key":"12_CR9","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/S0020-0190(98)00150-1","volume":"68","author":"M Jurdzinski","year":"1998","unstructured":"Jurdzinski, M.: Deciding the winner in parity games is in UP $$\\cap $$ \u2229 co-up. Inf. Process. Lett. 68(3), 119\u2013124 (1998)","journal-title":"Inf. Process. Lett."},{"key":"12_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1007\/3-540-46541-3_24","volume-title":"STACS 2000","author":"M Jurdzi\u0144ski","year":"2000","unstructured":"Jurdzi\u0144ski, M.: Small progress measures for solving parity games. In: Reichel, H., Tison, S. (eds.) STACS 2000. LNCS, vol. 1770, pp. 290\u2013301. Springer, Heidelberg (2000). doi: 10.1007\/3-540-46541-3_24"},{"key":"12_CR11","unstructured":"K\u0131l\u0131n\u00e7, G.: Formal Notions of Non-interference and Liveness for Distributed Systems. Ph.D thesis in computer science, Universit\u00e1 Degli Studi di Milano-Bicocca, Dipartimento di Informatica, Sistemistica e Comunicazione (2016)"},{"key":"12_CR12","doi-asserted-by":"publisher","first-page":"363","DOI":"10.2307\/1971035","volume":"102","author":"DA Martin","year":"1975","unstructured":"Martin, D.A.: Borel determinacy. Ann. Math. 102, 363\u2013371 (1975)","journal-title":"Ann. Math."},{"issue":"2","key":"12_CR13","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/0168-0072(93)90036-D","volume":"65","author":"R McNaughton","year":"1993","unstructured":"McNaughton, R.: Infinite games played on finite graphs. Ann. Pure Appl. Logic 65(2), 149\u2013184 (1993)","journal-title":"Ann. Pure Appl. Logic"},{"key":"12_CR14","doi-asserted-by":"publisher","unstructured":"Muller, D.E.: Infinite sequences and finite machines. In: Proceedings of the 4th Annual Symposium on Switching Circuit Theory and Logical Design, Chicago, Illinois, USA, pp. 3\u201316, 28\u201330 October 1963","DOI":"10.1109\/SWCT.1963.8"},{"issue":"2","key":"12_CR15","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1016\/j.arcontrol.2013.09.001","volume":"37","author":"M Silva","year":"2013","unstructured":"Silva, M.: Half a century after Carl Adam Petri\u2019s Ph.D. thesis: A perspective on the field. Ann. Rev. Control 37(2), 191\u2013219 (2013)","journal-title":"Ann. Rev. Control"},{"key":"12_CR16","doi-asserted-by":"publisher","unstructured":"Streett, R.S.: Propositional dynamic logic of looping and converse. In: Proceedings of the Thirteenth Annual ACM Symposium on Theory of Computing, STOC 1981, pp. 375\u2013383. ACM, New York, NY, USA (1981)","DOI":"10.1145\/800076.802492"},{"key":"12_CR17","doi-asserted-by":"publisher","unstructured":"Thomas, W.: Automata on infinite objects. In: Van Leeuwen, J. (ed.) Formal Models and Semantics, Handbook of Theoretical Computer Science, pp. 133\u2013191. Elsevier, Amsterdam (1990)","DOI":"10.1016\/B978-0-444-88074-1.50009-3"},{"key":"12_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-59042-0_57","volume-title":"STACS 95","author":"W Thomas","year":"1995","unstructured":"Thomas, W.: On the synthesis of strategies in infinite games. In: Mayr, E.W., Puech, C. (eds.) STACS 1995. LNCS, vol. 900, pp. 1\u201313. Springer, Heidelberg (1995). doi: 10.1007\/3-540-59042-0_57"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets and Concurrency"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-57861-3_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,23]],"date-time":"2023-08-23T11:53:54Z","timestamp":1692791634000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-57861-3_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319578606","9783319578613"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-57861-3_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}