{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,4]],"date-time":"2025-10-04T14:38:55Z","timestamp":1759588735743},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2013,3,14]],"date-time":"2013-03-14T00:00:00Z","timestamp":1363219200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Nat Comput"],"published-print":{"date-parts":[[2013,12]]},"DOI":"10.1007\/s11047-013-9367-8","type":"journal-article","created":{"date-parts":[[2013,3,13]],"date-time":"2013-03-13T04:36:55Z","timestamp":1363149415000},"page":"617-629","source":"Crossref","is-referenced-by-count":19,"title":["Modeling membrane systems using colored stochastic Petri nets"],"prefix":"10.1007","volume":"12","author":[{"given":"Fei","family":"Liu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Monika","family":"Heiner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,3,14]]},"reference":[{"key":"9367_CR1","doi-asserted-by":"crossref","unstructured":"Agrigoroaiei O, Ciobanu G (2010) Flattening the transition P systems with dissolution. LNCS, vol 6501. Springer, pp 53\u201364","DOI":"10.1007\/978-3-642-18123-8_7"},{"key":"9367_CR2","unstructured":"Bernardini F, Gheorghe M, Margenstern M, Verlan S (2007a) Networks of cells and Petri nets. In: Proceedings of 5th brainstorming week on membrane computing, pp 33\u201362"},{"key":"9367_CR3","doi-asserted-by":"crossref","unstructured":"Bernardini F, Gheorghe M, Romero-Campero FJ, Walkinshaw N (2007b) A hybrid approach to modelling biological systems. LNCS, vol 4860. Springer, pp 138\u2013159","DOI":"10.1007\/978-3-540-77312-2_9"},{"key":"9367_CR4","unstructured":"Charlie (2012) Charlie\u2014a tool for the analysis of place\/transition Petri nets. http:\/\/www-dssz.informatik.tu-cottbus.de\/DSSZ\/Software\/Charlie"},{"key":"9367_CR5","doi-asserted-by":"crossref","unstructured":"Donaldson R, Gilbert D (2008) A model checking approach to the parameter estimation of biochemical pathways. In: Proceedings of the 6th international conference on computational methods in systems biology. LNCS\/LNBI, vol 5307. Springer, pp 269\u2013287","DOI":"10.1007\/978-3-540-88562-7_20"},{"issue":"2","key":"9367_CR6","doi-asserted-by":"crossref","first-page":"457","DOI":"10.1007\/s11047-009-9158-4","volume":"9","author":"M Gheorghe","year":"2010","unstructured":"Gheorghe M, Manca V, Romero-Campero FJ (2010) Deterministic and stochastic P systems for modelling cellular processes. Nat Comput 9(2):457\u2013473","journal-title":"Nat Comput"},{"issue":"25","key":"9367_CR7","doi-asserted-by":"crossref","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"DT Gillespie","year":"1977","unstructured":"Gillespie DT (1977) Exact stochastic simulation of coupled chemical reactions. J Phys Chem 81(25):2340\u20132361","journal-title":"J Phys Chem"},{"key":"9367_CR8","doi-asserted-by":"crossref","unstructured":"Heiner M, Gilbert D, Donaldson R (2008) Petri nets for systems and synthetic biology. In: Proceedings of the 8th international conference on formal methods for computational systems biology. LNCS, vol 5016. Springer, pp 215\u2013264","DOI":"10.1007\/978-3-540-68894-5_7"},{"key":"9367_CR9","doi-asserted-by":"crossref","unstructured":"Heiner M, Herajy M, Liu F, Rohr C, Schwarick M (2012). Snoopy\u2014a unifying Petri net tool. In: Proceedings of PETRI NETS 2012, LNCS, vol 7347. Springer, pp 398\u2013407","DOI":"10.1007\/978-3-642-31131-4_22"},{"key":"9367_CR10","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1007\/978-3-642-04186-0_7","volume":"5750","author":"M Heiner","year":"2009","unstructured":"Heiner M, Lehrack S, Gilbert D, Marwan W (2009) Extended stochastic Petri nets for model-based design of wetlab experiments. Trans Comput Syst Biol XI LNBI 5750:138\u2013163","journal-title":"Trans Comput Syst Biol XI, LNBI"},{"issue":"3","key":"9367_CR11","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1016\/0304-3975(81)90049-9","volume":"14","author":"K Jensen","year":"1981","unstructured":"Jensen K (1981) Coloured Petri nets and the invariant-method. Theoret Comput Sci 14(3):317\u2013336","journal-title":"Theoret Comput Sci"},{"issue":"3\/4","key":"9367_CR12","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/s10009-007-0038-x","volume":"9","author":"K Jensen","year":"2007","unstructured":"Jensen K, Kristensen LM, Wells LM (2007) Coloured Petri nets and CPN tools for modelling and validation of concurrent systems. Int J Softw Tools Technol Transf 9(3\/4):213\u2013254","journal-title":"Int J Softw Tools Technol Transf"},{"issue":"4","key":"9367_CR13","doi-asserted-by":"crossref","first-page":"781","DOI":"10.1007\/s11047-008-9101-0","volume":"8","author":"J Kleijn","year":"2009","unstructured":"Kleijn J, Koutny M (2009) A Petri net model for membrane systems with dynamic structure. Nat Comput 8(4):781\u2013796","journal-title":"Nat Comput"},{"key":"9367_CR14","doi-asserted-by":"crossref","unstructured":"Kleijn J, Koutny M, Rozenberg G (2006) Towards a Petri net semantics for membrane systems. In: Proceedings of the 6th international workshop on membrane computing, LNCS, vol 3850. Springer, pp 292\u2013309","DOI":"10.1007\/11603047_20"},{"key":"9367_CR15","unstructured":"Liu F (2012) Colored Petri nets for systems biology. PhD thesis, Department of Computer Science, Brandenburg University of Technology Cottbus"},{"key":"9367_CR16","unstructured":"Liu F, Heiner M (2010) Colored Petri nets to model and simulate biological systems. In: Proceedings of international workshop on biological processes and petri nets, satellite event of Petri Nets 2010"},{"key":"9367_CR17","unstructured":"Liu F, Heiner M, Rohr C (2012) Manual for colored Petri nets in Snoopy. Technical report, 02-12, Department of Computer Science, Brandenburg University of Technology Cottbus. http:\/\/www-dssz.informatik.tu-cottbus.de\/publications\/btu-reports\/Manual_for_colored_Petri_nets_2012_03.pdf"},{"key":"9367_CR18","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1006\/jcss.1999.1693","volume":"61","author":"G P\u0103un","year":"2000","unstructured":"P\u0103un G (2000) Computing with membranes. J Comput Syst Sci 61:108\u2013143","journal-title":"J Comput Syst Sci"},{"key":"9367_CR19","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-56196-2","volume-title":"Membrane computing: an introduction","author":"G P\u0103un","year":"2002","unstructured":"P\u0103un G (2002) Membrane computing: an introduction. Springer, Berlin"},{"key":"9367_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-11467-0","volume-title":"The Oxford handbook of membrane computing","author":"G P\u0103un","year":"2010","unstructured":"P\u0103un G, Rozenberg G, Salomaa A (2010) The Oxford handbook of membrane computing. Oxford University Press, Oxford"},{"key":"9367_CR21","doi-asserted-by":"crossref","unstructured":"Qi Z, You J, Mao H (2004) P systems and Petri nets. In: Proceedings of the 5th international workshop of membrane computing, LNCS, vol 2933. Springer, pp 286\u2013303","DOI":"10.1007\/978-3-540-24619-0_21"},{"issue":"7","key":"9367_CR22","doi-asserted-by":"crossref","first-page":"974","DOI":"10.1093\/bioinformatics\/btq050","volume":"26","author":"C Rohr","year":"2010","unstructured":"Rohr C, Marwan W, Heiner M (2010) Snoopy\u2014a unifying Petri net framework to investigate biomolecular networks. Bioinformatics 26(7):974\u2013975","journal-title":"Bioinformatics"},{"issue":"3","key":"9367_CR23","doi-asserted-by":"crossref","first-page":"458","DOI":"10.1016\/j.biosystems.2006.12.009","volume":"91","author":"A Spicher","year":"2008","unstructured":"Spicher A, Michel O, Cieslak M, Giavitto J, Prusinkiewicz P (2008) Stochastic P systems and the simulation of biochemical processes with dynamic compartments. BioSystems 91(3):458\u2013472","journal-title":"BioSystems"}],"container-title":["Natural Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11047-013-9367-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11047-013-9367-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11047-013-9367-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,10]],"date-time":"2019-07-10T23:02:06Z","timestamp":1562799726000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11047-013-9367-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,3,14]]},"references-count":23,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2013,12]]}},"alternative-id":["9367"],"URL":"https:\/\/doi.org\/10.1007\/s11047-013-9367-8","relation":{},"ISSN":["1567-7818","1572-9796"],"issn-type":[{"value":"1567-7818","type":"print"},{"value":"1572-9796","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,3,14]]}}}