{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T15:04:22Z","timestamp":1725807862971},"publisher-location":"Cham","reference-count":83,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319084367"},{"type":"electronic","value":"9783319084374"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-08437-4_6","type":"book-chapter","created":{"date-parts":[[2014,10,22]],"date-time":"2014-10-22T00:43:01Z","timestamp":1413938581000},"page":"317-366","source":"Crossref","is-referenced-by-count":8,"title":["A Petri-Net-Based Framework for Biomodel Engineering"],"prefix":"10.1007","author":[{"given":"Mary Ann","family":"Bl\u00e4tke","sequence":"first","affiliation":[]},{"given":"Christian","family":"Rohr","sequence":"additional","affiliation":[]},{"given":"Monika","family":"Heiner","sequence":"additional","affiliation":[]},{"given":"Wolfgang","family":"Marwan","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"6_CR1","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1145\/343369.343402","volume":"1","author":"A. Aziz","year":"2000","unstructured":"Aziz, A., Sanwal, K., Singhal, V., Brayton, R.: Model checking continuous time Markov chains. ACM Trans. Comput. Log. 1(1), 162\u2013170 (2000)","journal-title":"ACM Trans. Comput. Log."},{"issue":"6","key":"6_CR2","doi-asserted-by":"publisher","first-page":"524","DOI":"10.1109\/TSE.2003.1205180","volume":"29","author":"C. Baier","year":"2003","unstructured":"Baier, C., Haverkort, B., Hermanns, H., Katoen, J.P.: Model-checking algorithms for continuous-time Markov chains. IEEE Trans. Softw. Eng. 29(6), 524\u2013541 (2003)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"1","key":"6_CR3","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.entcs.2009.02.002","volume":"229","author":"P. Ballarini","year":"2009","unstructured":"Ballarini, P., Mardare, R., Mura, I.: Analysing biochemical oscillation through probabilistic model checking. Electron. Notes Theor. Comput. Sci. 229(1), 3\u201319 (2009)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"6_CR4","volume-title":"Petri-Netze\u2014Grundlagen und Anwendungen","author":"B. Baumgarten","year":"1996","unstructured":"Baumgarten, B.: Petri-Netze\u2014Grundlagen und Anwendungen. Spektrum, M\u00fcnchen (1996)"},{"key":"6_CR5","first-page":"131","volume-title":"Int. Workshop on Biological Processes & Petri Nets (BioPPN), Satellite Event of Petri Nets 2010","author":"M.A. Bl\u00e4tke","year":"2010","unstructured":"Bl\u00e4tke, M.A., Meyer, S., Stein, C., Marwan, W.: Petri net modeling via a modular and hierarchical approach applied to nociception. In: Int. Workshop on Biological Processes & Petri Nets (BioPPN), Satellite Event of Petri Nets 2010, pp.\u00a0131\u2013145 (2010)"},{"key":"6_CR6","unstructured":"Bl\u00e4tke, M.A., Heiner, M., Marwan, W.: Tutorial\u2014Petri Nets in Systems Biology. Otto von Guericke University and Magdeburg, Centre for Systems Biology (2011)"},{"key":"6_CR7","series-title":"LNCS\/LNBI","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1007\/978-3-642-33636-2_21","volume-title":"Proceedings of the 10th Conference on Compuational Methods in Systems Biology","author":"M.A. Bl\u00e4tke","year":"2012","unstructured":"Bl\u00e4tke, M.A., Dittrich, A., Heiner, M., Schaper, F., Marwan, W.: JAK-STAT signaling as example for a database-supported modular modeling concept. In: Gilbert, D., Heiner, M. (eds.) Proceedings of the 10th Conference on Compuational Methods in Systems Biology. LNCS\/LNBI, vol.\u00a07605, pp.\u00a0362\u2013365. Springer, Berlin (2012)"},{"key":"6_CR8","series-title":"LNCS\/LNBI","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-642-33636-2_7","volume-title":"Proceedings of the 10th Conference on Compuational Methods in Systems Biology","author":"M.A. Bl\u00e4tke","year":"2012","unstructured":"Bl\u00e4tke, M.A., Heiner, M., Marwan, W.: Predicting phenotype from genotype through automatically composed Petri nets. In: Gilbert, D., Heiner, M. (eds.) Proceedings of the 10th Conference on Compuational Methods in Systems Biology. LNCS\/LNBI, vol.\u00a07605, pp.\u00a087\u2013106. Springer, Berlin (2012)"},{"issue":"6","key":"6_CR9","doi-asserted-by":"publisher","first-page":"1290","DOI":"10.1039\/c3mb25593j","volume":"9","author":"M.A. Bl\u00e4tke","year":"2013","unstructured":"Bl\u00e4tke, M.A., Dittrich, A., Rohr, C., Heiner, M., Schaper, F., Marwan, W.: JAK\/STAT signaling\u2014an executable model assembled from molecule-centered modules demonstrating a module-oriented database concept for systems and synthetic biology. Mol. BioSyst. 9(6), 1290\u20131307 (2013)","journal-title":"Mol. BioSyst."},{"key":"6_CR10","unstructured":"Bl\u00e4tke, M.A., Heiner, M., Marwan, W.: Linking protein structure with network behavior to generate biologically meaningful mutations in computational models of regulatory networks. Unpublished work"},{"issue":"5","key":"6_CR11","doi-asserted-by":"publisher","first-page":"404","DOI":"10.1093\/bib\/bbn026","volume":"9","author":"R. Breitling","year":"2008","unstructured":"Breitling, R., Gilbert, D., Heiner, M., Orton, R.: A structured approach for the engineering of biochemical network models, illustrated for signaling pathways. Brief. Bioinform. 9(5), 404\u2013421 (2008)","journal-title":"Brief. Bioinform."},{"key":"6_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-11712-1_1","volume-title":"Transactions on Computational Systems Biology XII, Special Issue on Modeling Methodologies","author":"R. Breitling","year":"2010","unstructured":"Breitling, R., Donaldson, R., Gilbert, D., Heiner, M.: Biomodel engineering\u2014from structure to behavior (position paper). In: Transactions on Computational Systems Biology XII, Special Issue on Modeling Methodologies, vol.\u00a05945, pp.\u00a01\u201312 (2010)"},{"key":"6_CR13","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/11880646_4","volume-title":"Transactions on Computational Systems Biology VI","author":"L. Calzone","year":"2006","unstructured":"Calzone, L., Chabrier-Rivier, N., Fages, F., Soliman, S.: Machine learning biochemical networks from temporal logic properties. In: Transactions on Computational Systems Biology VI, pp.\u00a068\u201394 (2006)"},{"key":"6_CR14","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/978-3-540-27793-4_9","volume-title":"Applications and Theory of Petri Nets 2004","author":"C. Chaouiya","year":"2004","unstructured":"Chaouiya, C., Remy, E., Ruet, P., Thieffry, D.: Qualitative modeling of genetic networks: from logical regulatory graphs to standard Petri nets. In: Applications and Theory of Petri Nets 2004, pp.\u00a0137\u2013156. Springer, Berlin (2004)"},{"issue":"2","key":"6_CR15","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/j.jda.2007.06.003","volume":"6","author":"C. Chaouiya","year":"2008","unstructured":"Chaouiya, C., Remy, E., Thieffry, D.: Petri net modeling of biological regulatory networks. J. Discrete Algorithms 6(2), 165\u2013177 (2008)","journal-title":"J. Discrete Algorithms"},{"issue":"1","key":"6_CR16","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/s12038-007-0011-6","volume":"32","author":"L. Chen","year":"2007","unstructured":"Chen, L., Qi-Wei, G., Nakata, M., Matsuno, H., Miyano, S.: Modeling and simulation of signal transductions in an apoptosis pathway by using timed Petri nets. J. Biosci. 32(1), 113\u2013127 (2007)","journal-title":"J. Biosci."},{"key":"6_CR17","volume-title":"Model Checking","author":"E.M. Clarke","year":"2000","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (2000)"},{"key":"6_CR18","unstructured":"Curry, E.: Stochastic simulation of entrained circadian rhythm. Master thesis (2006)"},{"key":"6_CR19","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511526558","volume-title":"Free Choice Petri Nets","author":"J. Desel","year":"1995","unstructured":"Desel, J., Esparza, J.: Free Choice Petri Nets, vol.\u00a040. Cambridge University Press, Cambridge (1995)"},{"key":"6_CR20","series-title":"LNCS (LNBI)","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/978-3-540-88562-7_20","volume-title":"Computational Methods in Systems Biology","author":"R. Donaldson","year":"2008","unstructured":"Donaldson, R., Gilbert, D.: A model checking approach to the parameter estimation of biochemical pathways. In: Computational Methods in Systems Biology. LNCS (LNBI), vol.\u00a05307, pp.\u00a0269\u2013287. Springer, Berlin (2008)"},{"issue":"3","key":"6_CR21","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/j.biosystems.2008.04.001","volume":"93","author":"M. Durzinsky","year":"2008","unstructured":"Durzinsky, M., Weismantel, R., Marwan, W.: Automatic reconstruction of molecular and genetic networks from discrete time series data. Biosystems 93(3), 181\u2013190 (2008)","journal-title":"Biosystems"},{"key":"6_CR22","doi-asserted-by":"publisher","first-page":"749","DOI":"10.1017\/S1471068411000287","volume":"11","author":"M. Durzinsky","year":"2011","unstructured":"Durzinsky, M., Marwan, W., Ostrowski, M., Schaub, T., Wagler, A.: Automatic network reconstruction using ASP. Theory Pract. Log. Program. 11, 749\u2013766 (2011)","journal-title":"Theory Pract. Log. Program."},{"issue":"1","key":"6_CR23","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1186\/1752-0509-5-113","volume":"5","author":"M. Durzinsky","year":"2011","unstructured":"Durzinsky, M., Wagler, A., Marwan, W.: Reconstruction of extended Petri nets from time series data and its application to signal transduction and to gene regulatory networks. BMC Syst. Biol. 5(1), 113 (2011)","journal-title":"BMC Syst. Biol."},{"key":"6_CR24","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/s00285-012-0511-3","volume":"66","author":"M. Durzinsky","year":"2013","unstructured":"Durzinsky, M., Marwan, W., Wagler, A.: Reconstruction of extended Petri nets from time-series data by using logical control functions. J. Math. Biol. 66, 203\u2013223 (2013). doi:\n                  10.1007\/s00285-012-0511-3","journal-title":"J. Math. Biol."},{"issue":"6767","key":"6_CR25","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1038\/35002125","volume":"403","author":"M.B. Elowitz","year":"2000","unstructured":"Elowitz, M.B., Leibler, S.: A synthetic oscillatory network of transcriptional regulators. Nature 403(6767), 335\u2013338 (2000)","journal-title":"Nature"},{"key":"6_CR26","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1145\/4904.4999","volume":"33","author":"E.A. Emerson","year":"1986","unstructured":"Emerson, E.A., Halpern, J.Y.: Sometimes and not never revisited: on branching versus linear time temporal logic. J. ACM 33, 151\u2013178 (1986)","journal-title":"J. ACM"},{"issue":"11","key":"6_CR27","doi-asserted-by":"publisher","first-page":"1239","DOI":"10.1038\/nbt1356","volume":"25","author":"J. Fisher","year":"2007","unstructured":"Fisher, J., Henzinger, T.A.: Executable cell biology. Nat. Biotechnol. 25(11), 1239\u20131249 (2007)","journal-title":"Nat. Biotechnol."},{"key":"6_CR28","unstructured":"Franzke, A.: Charlie 2.0\u2014a multithreaded Petri net analyzer. Diploma thesis (2009)"},{"key":"6_CR29","first-page":"1","volume":"99","author":"Q. Gao","year":"2012","unstructured":"Gao, Q., Gilbert, D., Heiner, M., Liu, F., Maccagnola, D., Tree, D.: Multiscale modeling and analysis of planar cell polarity in the Drosophila wing. IEEE\/ACM Trans. Comput. Biol. Bioinform. 99, 1 (2012)","journal-title":"IEEE\/ACM Trans. Comput. Biol. Bioinform."},{"key":"6_CR30","unstructured":"Gilbert, D., Heiner, M.: Multiscale modeling for multiscale systems biology (2011). \n                  http:\/\/multiscalepn.brunel.ac.uk"},{"key":"6_CR31","series-title":"IFIP","first-page":"163","volume-title":"IFIP WCC 2008, 2nd IFIP Conference on Biologically Inspired Collaborative Computing (BICC 2008)","author":"D. Gilbert","year":"2008","unstructured":"Gilbert, D., Heiner, M., Rosser, S., Fulton, R., Gu, X., Trybi\u0142o, M.: A case study in model-driven synthetic biology. In: IFIP WCC 2008, 2nd IFIP Conference on Biologically Inspired Collaborative Computing (BICC 2008). IFIP, vol.\u00a0268, pp.\u00a0163\u2013175. Springer, Boston (2008)"},{"key":"6_CR32","series-title":"LNCS","first-page":"230","volume-title":"Proc. PETRI NETS 2013","author":"D. Gilbert","year":"2013","unstructured":"Gilbert, D., Heiner, M., Liu, F., Saunders, N.: Coloring space\u2014a colored framework for spatial modeling in systems biology. In: Colom, J., Desel, J. (eds.) Proc. PETRI NETS 2013. LNCS, vol.\u00a07927, pp.\u00a0230\u2013249. Springer, Berlin (2013)"},{"issue":"25","key":"6_CR33","doi-asserted-by":"publisher","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"D.T. Gillespie","year":"1977","unstructured":"Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. J. Phys. Chem. 81(25), 2340\u20132361 (1977)","journal-title":"J. Phys. Chem."},{"issue":"12","key":"6_CR34","doi-asserted-by":"publisher","first-page":"6750","DOI":"10.1073\/pnas.95.12.6750","volume":"95","author":"P.J. Goss","year":"1998","unstructured":"Goss, P.J., Peccoud, J.: Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri nets. Proc. Natl. Acad. Sci. 95(12), 6750\u20136755 (1998)","journal-title":"Proc. Natl. Acad. Sci."},{"key":"6_CR35","volume-title":"Molecular Cloning. A Laboratory Manual","author":"M. Green","year":"2012","unstructured":"Green, M., Sambrook, J.: Molecular Cloning. A Laboratory Manual, 4th edn. Cold Spring Harbor Laboratory Press, Cold Spring Harbor (2012)","edition":"4"},{"key":"6_CR36","unstructured":"Hack, M.: Analysis of production schemata by Petri nets (1972)"},{"issue":"2","key":"6_CR37","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1093\/bioinformatics\/btm560","volume":"24","author":"S. Hardy","year":"2008","unstructured":"Hardy, S., Robillard, P.N.: Petri net-based method for the analysis of the dynamics of signal propagation in signaling pathways. Bioinformatics 24(2), 209\u2013217 (2008)","journal-title":"Bioinformatics"},{"issue":"1","key":"6_CR38","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1016\/j.biosystems.2008.12.004","volume":"96","author":"M. Hecker","year":"2009","unstructured":"Hecker, M., Lambeck, S., Toepfer, S., Van Someren, E., Guthke, R.: Gene regulatory network inference: data integration in dynamic models\u2014a review. Biosystems 96(1), 86\u2013103 (2009)","journal-title":"Biosystems"},{"key":"6_CR39","first-page":"17","volume-title":"LNCS","author":"M. Heiner","year":"2011","unstructured":"Heiner, M., Gilbert, D.: How might Petri nets enhance your systems biology toolkit. In: LNCS, vol.\u00a06709, pp.\u00a017\u201337. Springer, Berlin (2011)"},{"issue":"2\u20133","key":"6_CR40","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/j.pbiomolbio.2012.10.001","volume":"111","author":"M. Heiner","year":"2013","unstructured":"Heiner, M., Gilbert, D.: Biomodel engineering for multiscale systems biology. Prog. Biophys. Mol. Biol. 111(2\u20133), 119\u2013128 (2013)","journal-title":"Prog. Biophys. Mol. Biol."},{"key":"6_CR41","first-page":"215","volume-title":"LNCS","author":"M. Heiner","year":"2008","unstructured":"Heiner, M., Gilbert, D., Donaldson, R.: Petri nets for systems and synthetic biology. In: LNCS, vol.\u00a05016, pp.\u00a0215\u2013264. Springer, Berlin (2008)"},{"key":"6_CR42","series-title":"LNCS\/LNBI","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1007\/978-3-642-04186-0_7","volume-title":"Transactions on Computational Systems Biology XI","author":"M. Heiner","year":"2009","unstructured":"Heiner, M., Lehrack, S., Gilbert, D., Marwan, W.: Extended stochastic Petri nets for model-based design of wetlab experiments. In: Transactions on Computational Systems Biology XI. LNCS\/LNBI, vol.\u00a05750, pp.\u00a0138\u2013163. Springer, Berlin (2009)"},{"key":"6_CR43","unstructured":"Heiner, M., Donaldson, R., Gilbert, D.: Petri Nets for Systems Biology, pp.\u00a061\u201397. Jones & Bartlett Learning (2010)"},{"key":"6_CR44","series-title":"LNCS","first-page":"398","volume-title":"Proc. PETRI NETS 2012","author":"M. Heiner","year":"2012","unstructured":"Heiner, M., Herajy, M., Liu, F., Rohr, C., Schwarick, M.: Snoopy\u2014a unifying Petri net tool. In: Proc. PETRI NETS 2012. LNCS, vol.\u00a07347, pp.\u00a0398\u2013407. Springer, Berlin (2012)"},{"key":"6_CR45","series-title":"LNCS","first-page":"389","volume-title":"Proc. PETRI NETS 2013","author":"M. Heiner","year":"2013","unstructured":"Heiner, M., Rohr, C., Schwarick, M.: MARCIE\u2014Model checking And Reachability analysis done effiCIEntly. In: Colom, J., Desel, J. (eds.) Proc. PETRI NETS 2013. LNCS, vol.\u00a07927, pp.\u00a0389\u2013399. Springer, Berlin (2013)"},{"key":"6_CR46","unstructured":"Herajy, M.: Computational steering of multi-scale biochemical networks. PhD thesis, BTU Cottbus, Department of Computer Science (2013)"},{"issue":"4","key":"6_CR47","doi-asserted-by":"publisher","first-page":"942","DOI":"10.1016\/j.nahs.2012.05.004","volume":"6","author":"M. Herajy","year":"2012","unstructured":"Herajy, M., Heiner, M.: Hybrid representation and simulation of stiff biochemical networks. Nonlinear Anal. Hybrid Syst. 6(4), 942\u2013959 (2012)","journal-title":"Nonlinear Anal. Hybrid Syst."},{"issue":"5","key":"6_CR48","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1042\/bj0070471","volume":"7","author":"A.V. Hill","year":"1913","unstructured":"Hill, A.V.: The combinations of haemoglobin with oxygen and with carbon monoxide. I. Biochem. J. 7(5), 471 (1913)","journal-title":"Biochem. J."},{"issue":"4","key":"6_CR49","doi-asserted-by":"publisher","first-page":"524","DOI":"10.1093\/bioinformatics\/btg015","volume":"19","author":"M. Hucka","year":"2003","unstructured":"Hucka, M., Finney, A., Sauro, H.M., Bolouri, H., Doyle, J.C., Kitano, H., Arkin, A.P., Bornstein, B.J., Bray, D., Cornish-Bowden, A., et al.: The systems biology markup language (sbml): a medium for representation and exchange of biochemical network models. Bioinformatics 19(4), 524\u2013531 (2003)","journal-title":"Bioinformatics"},{"issue":"3","key":"6_CR50","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1093\/bioinformatics\/btg409","volume":"20","author":"T.R. Kiehl","year":"2004","unstructured":"Kiehl, T.R., Mattheyses, R.M., Simmons, M.K.: Hybrid simulation of cellular behavior. Bioinformatics 20(3), 316\u2013322 (2004)","journal-title":"Bioinformatics"},{"key":"6_CR51","volume-title":"Systems Biology. A Textbook","author":"E. Klipp","year":"2009","unstructured":"Klipp, E., Liebermeister, W., Wierling, C., Kowald, A., Lehrach, H., Herwig, R.: Systems Biology. A Textbook. Wiley-VCH, Weinheim (2009)"},{"issue":"7","key":"6_CR52","doi-asserted-by":"publisher","first-page":"1219","DOI":"10.1093\/bioinformatics\/bti145","volume":"21","author":"I. Koch","year":"2005","unstructured":"Koch, I., Junker, B.H., Heiner, M.: Application of Petri net theory for modeling and validation of the sucrose breakdown pathway in the potato tuber. Bioinformatics 21(7), 1219\u20131226 (2005)","journal-title":"Bioinformatics"},{"issue":"9","key":"6_CR53","doi-asserted-by":"publisher","first-page":"825","DOI":"10.1093\/bioinformatics\/16.9.825","volume":"16","author":"R. K\u00fcffner","year":"2000","unstructured":"K\u00fcffner, R., Zimmer, R., Lengauer, T.: Pathway analysis in metabolic databases via differential metabolic display (dmd). Bioinformatics 16(9), 825\u2013836 (2000)","journal-title":"Bioinformatics"},{"key":"6_CR54","unstructured":"Liu, F.: Colored Petri nets for systems biology. PhD thesis, Brandenburg Technical University (2012)"},{"key":"6_CR55","doi-asserted-by":"publisher","unstructured":"Liu, F., Heiner, M.: Modeling membrane systems using colored stochastic Petri nets. Nat. Comput. (online), 1\u201313 (2013). doi:\n                  10.1007\/s11047-013-9367-8","DOI":"10.1007\/s11047-013-9367-8"},{"issue":"4","key":"6_CR56","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1049\/iet-syb.2012.0017","volume":"7","author":"F. Liu","year":"2013","unstructured":"Liu, F., Heiner, M.: Multiscale modeling of coupled Ca2+ channels using colored stochastic Petri nets. IET Syst. Biol. 7(4), 106\u2013113 (2013)","journal-title":"IET Syst. Biol."},{"key":"6_CR57","volume-title":"Petri Nets for Modeling and Analyzing Biochemical Reaction Networks","author":"F. Liu","year":"2014","unstructured":"Liu, F., Heiner, M.: Petri Nets for Modeling and Analyzing Biochemical Reaction Networks. Springer, Berlin (2014). Chap. 9"},{"key":"6_CR58","unstructured":"Liu, F., Heiner, M., Rohr, C.: The manual for colored Petri nets in Snoopy\u2014QPN\n                        \n                  C\n                \/SPN\n                        \n                  C\n                \/CPN\n                        \n                  C\n                \/GHPN\n                        \n                  C\n                . Tech. Rep. 02-12, Brandenburg University of Technology Cottbus, Department of Computer Science, Cottbus (2012)"},{"issue":"5","key":"6_CR59","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevE.76.051917","volume":"76","author":"A. Loinger","year":"2007","unstructured":"Loinger, A., Biham, O.: Stochastic simulations of the repressilator circuit. Phys. Rev. E 76(5), 051,917 (2007)","journal-title":"Phys. Rev. E"},{"issue":"14","key":"6_CR60","doi-asserted-by":"publisher","first-page":"6286","DOI":"10.1073\/pnas.0913357107","volume":"107","author":"D. Marbach","year":"2010","unstructured":"Marbach, D., Prill, R.J., Schaffter, T., Mattiussi, C., Floreano, D., Stolovitzky, G.: Revealing strengths and weaknesses of methods for gene network inference. Proc. Natl. Acad. Sci. USA 107(14), 6286\u20136291 (2010)","journal-title":"Proc. Natl. Acad. Sci. USA"},{"key":"6_CR61","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1016\/j.jtbi.2005.03.018","volume":"236","author":"W. Marwan","year":"2005","unstructured":"Marwan, W., Sujatha, A., Starostzik, C.: Reconstructing the regulatory network controlling commitment and sporulation in Physarum polycephalum based on hierarchical Petri net modeling and simulation. J. Theor. Biol. 236, 349\u2013365 (2005)","journal-title":"J. Theor. Biol."},{"issue":"1","key":"6_CR62","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/s00186-007-0178-5","volume":"67","author":"W. Marwan","year":"2008","unstructured":"Marwan, W., Wagler, A., Weismantel, R.: A mathematical approach to solve the network reconstruction problem. Math. Methods Oper. Res. 67(1), 117\u2013132 (2008)","journal-title":"Math. Methods Oper. Res."},{"key":"6_CR63","first-page":"409","volume-title":"Methods in Molecular Biology","author":"W. Marwan","year":"2012","unstructured":"Marwan, W., Rohr, C., Heiner, M.: Petri nets in Snoopy: a unifying framework for the graphical display, computational modeling, and simulation of bacterial regulatory networks. In: Methods in Molecular Biology, vol.\u00a0804, pp.\u00a0409\u2013437. Humana Press, Clifton (2012). Chap.\u00a021"},{"issue":"333\u2013369","key":"6_CR64","first-page":"352","volume":"49","author":"L. Michaelis","year":"1913","unstructured":"Michaelis, L., Menten, M.L.: Die Kinetik der Invertinwirkung. Biochem. Z. 49(333\u2013369), 352 (1913)","journal-title":"Biochem. Z."},{"issue":"943","key":"6_CR65","doi-asserted-by":"publisher","first-page":"392","DOI":"10.1126\/science.169.3943.392","volume":"169","author":"O. Miller Jr","year":"1970","unstructured":"Miller, O. Jr, Hamkalo, B.A., Thomas, C. Jr: Visualization of bacterial genes in action. Science 169(943), 392 (1970)","journal-title":"Science"},{"issue":"4","key":"6_CR66","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541\u2013580 (1989)","journal-title":"Proc. IEEE"},{"issue":"2","key":"6_CR67","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1038\/nrm1570","volume":"6","author":"J.A. Papin","year":"2005","unstructured":"Papin, J.A., Hunter, T., Palsson, B.O., Subramaniam, S.: Reconstruction of cellular signaling networks and analysis of their properties. Nat. Rev. Mol. Cell Biol. 6(2), 99\u2013111 (2005)","journal-title":"Nat. Rev. Mol. Cell Biol."},{"key":"6_CR68","unstructured":"Petri, C.A.: Kommunikation mit Automaten. PhD thesis, Technische Hochschule Darmstadt (1962)"},{"issue":"6","key":"6_CR69","doi-asserted-by":"publisher","first-page":"1513","DOI":"10.1042\/BST0311513","volume":"31","author":"J.W. Pinney","year":"2003","unstructured":"Pinney, J.W., Westhead, D.R., McConkey, G.A., et al.: Petri net representations in systems biology. Biochem. Soc. Trans. 31(6), 1513\u20131515 (2003)","journal-title":"Biochem. Soc. Trans."},{"key":"6_CR70","first-page":"46","volume-title":"18th Annual Symposium on Foundations of Computer Science, 1977","author":"A. Pnueli","year":"1977","unstructured":"Pnueli, A.: The temporal logic of programs. In: 18th Annual Symposium on Foundations of Computer Science, 1977, pp.\u00a046\u201357. IEEE, New York (1977)"},{"key":"6_CR71","first-page":"96038982","volume-title":"Proc. Int. Conf. Intell. Syst. Mol. Biol.","author":"V.N. Reddy","year":"1993","unstructured":"Reddy, V.N., Mavrovouniotis, M.L., Liebman, M.N., et al.: Petri net representations in metabolic pathways. In: Proc. Int. Conf. Intell. Syst. Mol. Biol., vol.\u00a01, p.\u00a096038982 (1993)"},{"key":"6_CR72","series-title":"LNCS","first-page":"142","volume-title":"ToPNoC VIII","author":"C. Rohr","year":"2013","unstructured":"Rohr, C.: Simulative model checking of steady-state and time-unbounded temporal operators. In: ToPNoC VIII. LNCS, vol.\u00a08100, pp.\u00a0142\u2013158 (2013)"},{"issue":"1","key":"6_CR73","doi-asserted-by":"publisher","first-page":"482","DOI":"10.1186\/1471-2105-7-482","volume":"7","author":"A. Sackmann","year":"2006","unstructured":"Sackmann, A., Heiner, M., Koch, I.: Application of Petri net based analysis techniques to signal transduction pathways. BMC Bioinform. 7(1), 482 (2006)","journal-title":"BMC Bioinform."},{"key":"6_CR74","unstructured":"Schulz-Trieglaff, O.: Modeling the randomness in biological systems. Master thesis (2005)"},{"issue":"3","key":"6_CR75","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/j.entcs.2006.03.015","volume":"151","author":"O. Shaw","year":"2006","unstructured":"Shaw, O., Steggles, J., Wipat, A.: Automatic parameterisation of stochastic Petri net models of biological networks. Electron. Notes Theor. Comput. Sci. 151(3), 111\u2013129 (2006)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"suppl 2","key":"6_CR76","doi-asserted-by":"publisher","first-page":"ii190","DOI":"10.1093\/bioinformatics\/bti1130","volume":"21","author":"E. Simao","year":"2005","unstructured":"Simao, E., Remy, E., Thieffry, D., Chaouiya, C.: Qualitative modeling of regulated metabolic pathways: application to the tryptophan biosynthesis in E. coli. Bioinformatics 21(suppl 2), ii190\u2013ii196 (2005)","journal-title":"Bioinformatics"},{"issue":"12","key":"6_CR77","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pone.0014284","volume":"5","author":"S. Soliman","year":"2010","unstructured":"Soliman, S., Heiner, M.: A unique transformation from ordinary differential equations to reaction networks. PLoS ONE 5(12), e14284 (2010)","journal-title":"PLoS ONE"},{"issue":"12","key":"6_CR78","doi-asserted-by":"publisher","first-page":"1877","DOI":"10.1093\/bioinformatics\/bth173","volume":"20","author":"E. Sontag","year":"2004","unstructured":"Sontag, E., Kiyatkin, A., Kholodenko, B.N.: Inferring dynamic architecture of cellular networks using time series of gene expression, protein and metabolite data. Bioinformatics 20(12), 1877\u20131886 (2004)","journal-title":"Bioinformatics"},{"key":"6_CR79","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/978-3-642-31951-8_27","volume-title":"Inductive Logic Programming","author":"A. Srinivasan","year":"2012","unstructured":"Srinivasan, A., Bain, M.: Knowledge-guided identification of Petri net models of large biological systems. In: Inductive Logic Programming, pp.\u00a0317\u2013331 (2012)"},{"key":"6_CR80","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1002\/bit.1171","volume":"75","author":"R. Srivastava","year":"2001","unstructured":"Srivastava, R., Peterson, M.S., Bentley, W.E.: Stochastic kinetic analysis of the Escherichia coli stress circuit using sigma32-targeted antisense. Biotechnol. Bioeng. 75, 120\u2013129 (2001)","journal-title":"Biotechnol. Bioeng."},{"issue":"Pt\u00a06","key":"6_CR81","doi-asserted-by":"publisher","first-page":"1519","DOI":"10.1042\/BST0311519","volume":"31","author":"J. Stark","year":"2003","unstructured":"Stark, J., Brewer, D., Barenco, M., Tomescu, D., Callard, R., Hubank, M.: Reconstructing gene networks: what are the limits? Biochem. Soc. Trans. 31(Pt\u00a06), 1519\u20131525 (2003)","journal-title":"Biochem. Soc. Trans."},{"issue":"7","key":"6_CR82","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1016\/S0167-7799(03)00140-9","volume":"21","author":"J. Stark","year":"2003","unstructured":"Stark, J., Callard, R., Hubank, M.: From the top down: towards a predictive biology of signaling networks. Trends Biotechnol. 21(7), 290\u2013293 (2003)","journal-title":"Trends Biotechnol."},{"issue":"3","key":"6_CR83","first-page":"323","volume":"3","author":"I. Zevedei-Oancea","year":"2003","unstructured":"Zevedei-Oancea, I., Schuster, S.: Topological analysis of metabolic networks based on Petri net theory. In Silico Biol. 3(3), 323\u2013345 (2003)","journal-title":"In Silico Biol."}],"container-title":["Modeling and Simulation in Science, Engineering and Technology","Large-Scale Networks in Engineering and Life Sciences"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-08437-4_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,28]],"date-time":"2019-05-28T02:33:03Z","timestamp":1559010783000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-08437-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319084367","9783319084374"],"references-count":83,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-08437-4_6","relation":{},"ISSN":["2164-3679","2164-3725"],"issn-type":[{"type":"print","value":"2164-3679"},{"type":"electronic","value":"2164-3725"}],"subject":[],"published":{"date-parts":[[2014]]}}}