{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,22]],"date-time":"2025-01-22T21:40:30Z","timestamp":1737582030181,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540773115"},{"type":"electronic","value":"9783540773122"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-77312-2_15","type":"book-chapter","created":{"date-parts":[[2007,11,24]],"date-time":"2007-11-24T06:17:45Z","timestamp":1195885065000},"page":"240-256","source":"Crossref","is-referenced-by-count":2,"title":["On the Dynamics of PB Systems with Volatile Membranes"],"prefix":"10.1007","author":[{"given":"Giorgio","family":"Delzanno","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laurent","family":"Van Begin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"Aziz-Abdulla, P., Nyl\u00e9n, A.: On Efficient Verification of Infinite-State Systems. In: LICS 2000, pp. 132\u2013140 (2000)","DOI":"10.1109\/LICS.2000.855762"},{"key":"15_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/3-540-36490-0_8","volume-title":"WMC 2002","author":"F. Bernardini","year":"2003","unstructured":"Bernardini, F., Manca, V., Systems, P.: P Systems with Boundary Rules. In: P\u0103un, G., Rozenberg, G., Salomaa, A., Zandron, C. (eds.) WMC 2002. LNCS, vol.\u00a02597, pp. 107\u2013118. Springer, Heidelberg (2003)"},{"key":"15_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"248","DOI":"10.1007\/978-3-540-31987-0_18","volume-title":"Programming Languages and Systems","author":"N. Busi","year":"2005","unstructured":"Busi, N., Zavattaro, G.: Deciding Reachability in Mobile Ambients. In: Sagiv, M. (ed.) ESOP 2005. LNCS, vol.\u00a03444, pp. 248\u2013262. Springer, Heidelberg (2005)"},{"key":"15_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1007\/978-3-540-24619-0_11","volume-title":"Membrane Computing","author":"S. Zilio Dal","year":"2004","unstructured":"Dal Zilio, S., Formenti, E.: On the Dynamics of PB Systems: A Petri Net View. In: Mart\u00edn-Vide, C., Mauri, G., P\u0103un, G., Rozenberg, G., Salomaa, A. (eds.) Membrane Computing. LNCS, vol.\u00a02933, pp. 153\u2013167. Springer, Heidelberg (2004)"},{"key":"15_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/BFb0055044","volume-title":"Automata, Languages and Programming","author":"C. Dufourd","year":"1998","unstructured":"Dufourd, C., Finkel, A., Schnoebelen, P.: Reset Nets Between Decidability and Undecidability. In: Larsen, K.G., Skyum, S., Winskel, G. (eds.) ICALP 1998. LNCS, vol.\u00a01443, pp. 103\u2013115. Springer, Heidelberg (1998)"},{"key":"15_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1007\/978-3-540-24619-0_13","volume-title":"Membrane Computing","author":"G. Franco","year":"2004","unstructured":"Franco, G., Manca, V.: A Membrane System for the Leukocyte Selective Recruitment. In: Mart\u00edn-Vide, C., Mauri, G., P\u0103un, G., Rozenberg, G., Salomaa, A. (eds.) Membrane Computing. LNCS, vol.\u00a02933, pp. 181\u2013190. Springer, Heidelberg (2004)"},{"key":"15_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/11603047_15","volume-title":"Membrane Computing","author":"P. Frisco","year":"2006","unstructured":"Frisco, P.: P-systems, Petri Nets and Program Machines. In: Freund, R., P\u0103un, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2005. LNCS, vol.\u00a03850, pp. 209\u2013223. Springer, Heidelberg (2006)"},{"issue":"2-3","key":"15_CR8","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1016\/j.tcs.2003.10.028","volume":"312","author":"O.H. Ibarra","year":"2004","unstructured":"Ibarra, O.H., Dang, Z., Egecioglu, \u00d6.: Catalytic P Systems, Semilinear Sets, and Vector Addition Systems. TCS\u00a0312(2-3), 379\u2013399 (2004)","journal-title":"TCS"},{"key":"15_CR9","first-page":"147","volume":"3","author":"R.M. Karp","year":"1969","unstructured":"Karp, R.M., Miller, R.E.: Parallel Program Schemata. JCSS\u00a03, 147\u2013195 (1969)","journal-title":"JCSS"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"Kosaraju, S.R.: Decidability of Reachability in Vector Addition Systems. STOC, 267\u2013281 (1982)","DOI":"10.1145\/800070.802201"},{"key":"15_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1462","DOI":"10.1007\/11523468_118","volume-title":"Automata, Languages and Programming","author":"C. Li","year":"2005","unstructured":"Li, C., Dang, Z., Ibarra, O.H., Yen, H.-C.: Signaling P Systems and Verification Problems. In: Caires, L., Italiano, G.F., Monteiro, L., Palamidessi, C., Yung, M. (eds.) ICALP 2005. LNCS, vol.\u00a03580, pp. 1462\u20131473. Springer, Heidelberg (2005)"},{"issue":"2","key":"15_CR12","first-page":"134","volume":"9","author":"C. Martin-Vide","year":"2001","unstructured":"Martin-Vide, C., P\u0103un, G., Rodriguez-Paton, A.: On P Systems with Membrane Creation Comp. Sc. J. of Moldova\u00a09(2), 134\u2013145 (2001)","journal-title":"J. of Moldova"},{"issue":"3","key":"15_CR13","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1137\/0213029","volume":"13","author":"E.W. Mayr","year":"1984","unstructured":"Mayr, E.W.: An Algorithm for the General Petri Net Reachability Problem. SIAM J. Comput.\u00a013(3), 441\u2013460 (1984)","journal-title":"SIAM J. Comput."},{"key":"15_CR14","volume-title":"Computation: Finite and Infinite Machines","author":"M. Minsky","year":"1967","unstructured":"Minsky, M.: Computation: Finite and Infinite Machines. Prentice-Hall, Englewood Cliffs (1967)"},{"issue":"1","key":"15_CR15","first-page":"108","volume":"61","author":"G. P\u0103un","year":"2000","unstructured":"P\u0103un, G.: Computing with Membranes. JCSS\u00a061(1), 108\u2013143 (2000)","journal-title":"JCSS"},{"key":"15_CR16","unstructured":"Petri, C.A.: Kommunikation mit Automaten. Ph.D. Thesis. U. of Bonn (1962)"}],"container-title":["Lecture Notes in Computer Science","Membrane Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-77312-2_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,22]],"date-time":"2025-01-22T21:07:19Z","timestamp":1737580039000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-77312-2_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540773115","9783540773122"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-77312-2_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}