{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:36:27Z","timestamp":1725665787389},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642283314"},{"type":"electronic","value":"9783642283321"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-28332-1_17","type":"book-chapter","created":{"date-parts":[[2012,2,29]],"date-time":"2012-02-29T14:45:36Z","timestamp":1330526736000},"page":"192-203","source":"Crossref","is-referenced-by-count":3,"title":["Catalytic Petri Nets Are Turing Complete"],"prefix":"10.1007","author":[{"given":"Gabriel","family":"Ciobanu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G. Michele","family":"Pinna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-3-642-18123-8_7","volume-title":"Membrane Computing","author":"O. Agrigoroaiei","year":"2010","unstructured":"Agrigoroaiei, O., Ciobanu, G.: Flattening the Transition P Systems with Dissolution. In: Gheorghe, M., Hinze, T., P\u0103un, G., Rozenberg, G., Salomaa, A. (eds.) CMC 2010. LNCS, vol.\u00a06501, pp. 53\u201364. Springer, Heidelberg (2010)"},{"key":"17_CR2","volume-title":"Molecular Biology of the Cell","author":"B. Alberts","year":"2002","unstructured":"Alberts, B., Johnson, A., Walter, P., Lewis, J.: Molecular Biology of the Cell. Garland Publishing, New York (2002)"},{"key":"17_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/3-540-11981-7_5","volume-title":"Logics of Programs and Their Applications","author":"H.D. Burkhard","year":"1983","unstructured":"Burkhard, H.D.: On Priorities of Parallelism. In: Salwicki, A. (ed.) Logic of Programs 1980. LNCS, vol.\u00a0148, pp. 86\u201397. Springer, Heidelberg (1983)"},{"key":"17_CR4","unstructured":"Burkhard, H.D.: Ordered firing in Petri nets. Elektronische Informationsverarbeitung und Kybernetik 17(2\/3), 71\u201386 (1981)"},{"key":"17_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/3-540-58152-9_11","volume-title":"Application and Theory of Petri Nets 1994","author":"G. Ciardo","year":"1994","unstructured":"Ciardo, G.: Petri Nets with Marking-Dependent Arc Cardinality: Properties and Analysis. In: Valette, R. (ed.) ICATPN 1994. LNCS, vol.\u00a0815, pp. 179\u2013198. Springer, Heidelberg (1994)"},{"issue":"1","key":"17_CR6","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/j.tcs.2007.03.044","volume":"378","author":"G. Ciobanu","year":"2007","unstructured":"Ciobanu, G., Pan, L., P\u0103un, G., P\u00e9rez-Jim\u00e9nez, M.J.: P systems with minimal parallelism. Theoretical Computer Science\u00a0378(1), 117\u2013130 (2007)","journal-title":"Theoretical Computer Science"},{"key":"17_CR7","series-title":"Natural Computing Series","volume-title":"Applications of Membrane Computing","year":"2006","unstructured":"Ciobanu, G., P\u00e9rez-Jim\u00e9nez, M.J., P\u0103un, G. (eds.): Applications of Membrane Computing. Natural Computing Series. Springer, Heidelberg (2006)"},{"key":"17_CR8","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":"17_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1007\/3-540-65306-6_20","volume-title":"Lectures on Petri Nets I: Basic Models - Advances in Petri Nets 1996","author":"J. Esparza","year":"1998","unstructured":"Esparza, J.: Decidability and complexity of Petri net problems - an introduction. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol.\u00a01491, pp. 374\u2013428. Springer, Heidelberg (1998)"},{"key":"17_CR10","first-page":"244","volume":"52","author":"J. Esparza","year":"1994","unstructured":"Esparza, J., Nielsen, M.: Decidability issues for Petri nets - a survey. Bulletin of the EATCS\u00a052, 244\u2013262 (1994)","journal-title":"Bulletin of the EATCS"},{"issue":"3","key":"17_CR11","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1016\/j.tcs.2006.02.008","volume":"356","author":"A. Finkel","year":"2006","unstructured":"Finkel, A., Geeraerts, G., Raskin, J.F., Begin, L.V.: On the \u03c9-language expressive power of extended Petri nets. Theor. Comput. Sci.\u00a0356(3), 374\u2013386 (2006)","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"17_CR12","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1016\/j.tcs.2004.06.029","volume":"330","author":"R. Freund","year":"2005","unstructured":"Freund, R., Kari, L., Oswald, M., Sos\u00edk, P.: Computationally universal P systems without priorities: two catalysts are sufficient. Theoretical Computer Science\u00a0330(2), 251\u2013266 (2005)","journal-title":"Theoretical Computer Science"},{"key":"17_CR13","unstructured":"Geeraerts, G.: On the expressive power of Petri nets with transfer arcs vs. Petri nets with reset arcs. Tech. Rep. 572, Universit\u00e9 Libre de Bruxelles (2007)"},{"key":"17_CR14","unstructured":"Hack, M.: Decidability Questions for Petri Nets. In: Outstanding Dissertations in the Computer Sciences. Garland Publishing, New York (1975)"},{"key":"17_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1007\/978-3-540-68746-7_19","volume-title":"Applications and Theory of Petri Nets","author":"M. Jantzen","year":"2008","unstructured":"Jantzen, M., Zetzsche, G.: Labeled Step Sequences in Petri Nets. In: van Hee, K.M., Valk, R. (eds.) PETRI NETS 2008. LNCS, vol.\u00a05062, pp. 270\u2013287. Springer, Heidelberg (2008)"},{"key":"17_CR16","unstructured":"Kleijn, J., Koutny, M.: Petri nets and membrane computing. In: P\u0103un, G., Rozenberg, G., Salomaa, A. (eds.) The Oxford Handbook of Membrane Computing, pp. 389\u2013412. Oxford University Press (2010)"},{"key":"17_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/11603047_20","volume-title":"Membrane Computing","author":"J. Kleijn","year":"2006","unstructured":"Kleijn, J., Koutny, M., Rozenberg, G.: Towards a Petri Net Semantics for Membrane Systems. In: Freund, R., P\u0103un, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2005. LNCS, vol.\u00a03850, pp. 292\u2013309. Springer, Heidelberg (2006)"},{"key":"17_CR18","doi-asserted-by":"crossref","unstructured":"Kosaraju, S.R.: Decidability of reachability in vector addition systems (preliminary version). In: Proceedings of the Fourteenth Annual ACM Symposium on Theory of Computing, pp. 267\u2013281. ACM (1982)","DOI":"10.1145\/800070.802201"},{"key":"17_CR19","doi-asserted-by":"crossref","unstructured":"Montanari, U., Rossi, F.: Contextual nets. Acta Informatica\u00a032(6) (1995)","DOI":"10.1007\/BF01178907"},{"key":"17_CR20","series-title":"Natural Computing Series","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-56196-2","volume-title":"Membrane Computing. An Introduction","author":"G. P\u0103un","year":"2002","unstructured":"P\u0103un, G.: Membrane Computing. An Introduction. Natural Computing Series. Springer, Heidelberg (2002)"},{"key":"17_CR21","doi-asserted-by":"crossref","unstructured":"P\u0103un, G., Rozernberg, G., Salomaa, A.: The Oxford Handbook of Membrane Computing. Oxford University Press (2010)","DOI":"10.1007\/978-3-642-11467-0"}],"container-title":["Lecture Notes in Computer Science","Language and Automata Theory and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28332-1_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,3]],"date-time":"2020-07-03T12:30:23Z","timestamp":1593779423000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28332-1_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642283314","9783642283321"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28332-1_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}