{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T09:30:50Z","timestamp":1725701450261},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642329395"},{"type":"electronic","value":"9783642329401"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32940-1_5","type":"book-chapter","created":{"date-parts":[[2012,9,1]],"date-time":"2012-09-01T20:47:02Z","timestamp":1346532422000},"page":"39-52","source":"Crossref","is-referenced-by-count":5,"title":["Concurrent Games on VASS with Inhibition"],"prefix":"10.1007","author":[{"given":"B\u00e9atrice","family":"B\u00e9rard","sequence":"first","affiliation":[]},{"given":"Serge","family":"Haddad","sequence":"additional","affiliation":[]},{"given":"Mathieu","family":"Sassolas","sequence":"additional","affiliation":[]},{"given":"Nathalie","family":"Sznajder","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"5_CR1","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1093\/logcom\/exm062","volume":"18","author":"P.A. Abdulla","year":"2008","unstructured":"Abdulla, P.A., Bouajjani, A., d\u2019Orso, J.: Monotonic and downward closed games. J. Log. Comput.\u00a018(1), 153\u2013169 (2008)","journal-title":"J. Log. Comput."},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"B\u00e9rard, B., Haddad, S., Sassolas, M., Sznajder, N.: Concurrent games on VASS with inhibition. Technical Report LSV-12-10, LSV, ENS Cachan (2012)","DOI":"10.1007\/978-3-642-32940-1_5"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Bollue, K., Slaats, M., Abraham, E., Thomas, W., Abel, D.: Synthesis of Behavioral Controllers for DES: Increasing Efficiency. In: WODES 2010, IFAC (2010)","DOI":"10.3182\/20100830-3-DE-4013.00007"},{"key":"5_CR4","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1016\/S1571-0661(05)80423-2","volume":"9","author":"Z. Bouziane","year":"1997","unstructured":"Bouziane, Z., Finkel, A.: Cyclic petri net reachability sets are semi-linear effectively constructible. Electr. Notes Theor. Comput. Sci.\u00a09, 15\u201324 (1997)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"5_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"478","DOI":"10.1007\/978-3-642-14162-1_40","volume-title":"Automata, Languages and Programming","author":"T. Br\u00e1zdil","year":"2010","unstructured":"Br\u00e1zdil, T., Jan\u010dar, P., Ku\u010dera, A.: Reachability Games on Extended Vector Addition Systems with States. In: Abramsky, S., Gavoille, C., Kirchner, C., Meyer auf der Heide, F., Spirakis, P.G. (eds.) ICALP 2010, Part II. LNCS, vol.\u00a06199, pp. 478\u2013489. Springer, Heidelberg (2010)"},{"issue":"1","key":"5_CR6","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1145\/322234.322243","volume":"28","author":"A.K. Chandra","year":"1981","unstructured":"Chandra, A.K., Kozen, D., Stockmeyer, L.J.: Alternation J. ACM\u00a028(1), 114\u2013133 (1981)","journal-title":"Alternation J. ACM"},{"key":"5_CR7","unstructured":"Chatterjee, K., Doyen, L., Henzinger, T.A., Raskin, J.F.: Generalized mean-payoff and energy games. In: Lodaya, K., Mahajan, M. (eds.) FSTTCS 2010. LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, vol.\u00a08, pp. 505\u2013516 (2010)"},{"key":"5_CR8","unstructured":"Demri, S., Jurdzi\u0144ski, M., Lachish, O., Lazi\u0107, R.: The covering and boundedness problems for branching vector addition systems. In: Proc. of the 29th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2009). Leibniz International Proceedings in Informatics, Leibniz-Zentrum f\u00fcr Informatik, vol.\u00a04, pp. 181\u2013192 (December 2009)"},{"issue":"1","key":"5_CR9","doi-asserted-by":"crossref","first-page":"13","DOI":"10.3233\/FI-1997-3112","volume":"31","author":"J. Esparza","year":"1997","unstructured":"Esparza, J.: Petri nets, commutative context-free grammars, and basic parallel processes. Fundam. Inform.\u00a031(1), 13\u201325 (1997)","journal-title":"Fundam. Inform."},{"key":"5_CR10","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/0304-3975(79)90041-0","volume":"8","author":"J.E. Hopcroft","year":"1979","unstructured":"Hopcroft, J.E., Pansiot, J.J.: On the reachability problem for 5-dimensional vector addition systems. Theor. Comput. Sci.\u00a08, 135\u2013159 (1979)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"5_CR11","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1109\/TASE.2004.829432","volume":"2","author":"R. Kumar","year":"2005","unstructured":"Kumar, R., Garg, V.: On computation of state avoidance control for infinite state systems in assignment program framework. IEEE Trans. Autom. Sci. Eng.\u00a02(1), 87\u201391 (2005)","journal-title":"IEEE Trans. Autom. Sci. Eng."},{"key":"5_CR12","unstructured":"Le Gall, T., Jeannet, B., Marchand, H.: Supervisory Control of Infinite Symbolic Systems using Abstract Interpretation. In: CDC 2005, pp. 31\u201335. IEEE Press (2005)"},{"key":"5_CR13","unstructured":"Lipton, R.: The reachability problem requires exponential space. Technical Report\u00a062, Dept. of Computer Science. Yale University (1976)"},{"key":"5_CR14","unstructured":"Papadimitriou, C.H., Steiglitz, K.: Combinatorial Optimization: algorithms and complexity. Prentice-Hall (1982)"},{"key":"5_CR15","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/0304-3975(78)90036-1","volume":"6","author":"C. Rackoff","year":"1978","unstructured":"Rackoff, C.: The covering and boundedness problems for vector addition systems. Theor. Comput. Sci.\u00a06, 223\u2013231 (1978)","journal-title":"Theor. Comput. Sci."},{"key":"5_CR16","unstructured":"Raskin, J.F., Samuelides, M., Van Begin, L.: Petri games are monotonic but difficult to decide. Technical Report 508, Universit\u00e9 Libre de Bruxelles (2003)"},{"issue":"6","key":"5_CR17","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/j.entcs.2005.04.005","volume":"128","author":"J.F. Raskin","year":"2005","unstructured":"Raskin, J.F., Samuelides, M., Van Begin, L.: Games for counting abstractions. Electr. Notes Theor. Comput. Sci.\u00a0128(6), 69\u201385 (2005)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"5_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/11690634_23","volume-title":"Foundations of Software Science and Computation Structures","author":"O. Serre","year":"2006","unstructured":"Serre, O.: Parity Games Played on Transition Graphs of One-Counter Processes. In: Aceto, L., Ing\u00f3lfsd\u00f3ttir, A. (eds.) FOSSACS 2006. LNCS, vol.\u00a03921, pp. 337\u2013351. Springer, Heidelberg (2006)"},{"issue":"5-6","key":"5_CR19","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1016\/j.matcom.2005.11.002","volume":"70","author":"R.S. Sreenivas","year":"2006","unstructured":"Sreenivas, R.S.: Some observations on supervisory policies that enforce liveness in partially controlled free-choice petri nets. Math. Comp. Simul.\u00a070(5-6), 266\u2013274 (2006)","journal-title":"Math. Comp. Simul."}],"container-title":["Lecture Notes in Computer Science","CONCUR 2012 \u2013 Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32940-1_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:49:41Z","timestamp":1620128981000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32940-1_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642329395","9783642329401"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32940-1_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}