{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,13]],"date-time":"2026-04-13T12:19:16Z","timestamp":1776082756426,"version":"3.50.1"},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,9]]},"DOI":"10.1109\/synasc.2012.22","type":"proceedings-article","created":{"date-parts":[[2013,3,21]],"date-time":"2013-03-21T16:22:37Z","timestamp":1363882957000},"page":"319-326","source":"Crossref","is-referenced-by-count":1,"title":["Timed Catalytic Petri Nets"],"prefix":"10.1109","author":[{"given":"Bogdan","family":"Aman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabriel","family":"Ciobanu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G. Michele","family":"Pinna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","first-page":"267","article-title":"Decidability of reachability in vector addition systems","author":"kosaraju","year":"1982","journal-title":"12th Annual ACM Symposium on Theory of Computing"},{"key":"17","first-page":"102","article-title":"A Fundamental theorem of asynchronous parallel computation","volume":"24","author":"keller","year":"1975","journal-title":"3rd Annual Sagamore Conference on Parallel Computation LNCS"},{"key":"18","first-page":"389","volume":"24","author":"kleijn","year":"2010","journal-title":"Petri Nets and Membrane Computing"},{"key":"15","article-title":"Coloured petri nets; Basic concepts, analysis methods and practical use","author":"jensen","year":"1992","journal-title":"Monographs in Theoretical Computer Science"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(69)80011-5"},{"key":"13","first-page":"83","volume":"24","author":"freund","year":"2010","journal-title":"Catalytic P Systems in"},{"key":"14","author":"hack","year":"1976","journal-title":"Decidability questions for Petri nets"},{"key":"11","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/BFb0055044","article-title":"Schnoebelen. reset nets between decidability and undecidability","volume":"1443","author":"dufourd","year":"1998","journal-title":"25th International Colloq on Automata Languages and Programming"},{"key":"12","first-page":"244","article-title":"Decidability issues for petri nets-A survey","volume":"52","author":"esparza","year":"1994","journal-title":"Bulletin of the EATCS"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1007\/BF00289268"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(92)90173-D"},{"key":"22","author":"merlin","year":"1974","journal-title":"A study of the recoverability of computing systems"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1007\/BF01178907"},{"key":"24","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-11467-0","author":"paun","year":"2010","journal-title":"The Oxford Handbook of membrane computing"},{"key":"25","author":"peterson","year":"1981","journal-title":"Petri Net Theory and the Modelling of Systems"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(78)90036-1"},{"key":"27","author":"ramchandani","year":"1974","journal-title":"Analysis of asynchronous concurrent systems by timed Petri nets"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(86)90006-1"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(76)90067-0"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.57.4"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28332-1_17"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18123-8_7"},{"key":"7","author":"ciobanu","year":"2010","journal-title":"Membrane Computing and Biologically Inspired Process Calculi"},{"key":"6","first-page":"594","article-title":"Time in membrane computing","author":"cavaliere","year":"2010","journal-title":"Oxford Handbook of Membrane Computing"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-11981-7_5"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(77)90059-7"},{"key":"9","author":"ciobanu","year":"2006","journal-title":"Applications of Membrane Computing"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2007.03.044"}],"event":{"name":"2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)","location":"Timisoara, Romania","start":{"date-parts":[[2012,9,26]]},"end":{"date-parts":[[2012,9,29]]}},"container-title":["2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing"],"original-title":[],"link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/xplorestaging.ieee.org\/ielx7\/6480928\/6480995\/06481047.pdf?arnumber=6481047","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,11]],"date-time":"2019-07-11T02:21:47Z","timestamp":1562811707000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/ieeexplore.ieee.org\/document\/6481047\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9]]},"references-count":28,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1109\/synasc.2012.22","relation":{},"subject":[],"published":{"date-parts":[[2012,9]]}}}