{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:19:24Z","timestamp":1725538764437},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642041853"},{"type":"electronic","value":"9783642041860"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-04186-0_7","type":"book-chapter","created":{"date-parts":[[2009,10,1]],"date-time":"2009-10-01T16:07:04Z","timestamp":1254413224000},"page":"138-163","source":"Crossref","is-referenced-by-count":17,"title":["Extended Stochastic Petri Nets for Model-Based Design of Wetlab Experiments"],"prefix":"10.1007","author":[{"given":"Monika","family":"Heiner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Lehrack","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Gilbert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"Marwan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/3-540-61474-5_75","volume-title":"Computer Aided Verification","author":"A. Aziz","year":"1996","unstructured":"Aziz, A., Sanwal, K., Singhal, V., Brayton, R.K.: Verifying Continuous-time Markov Chains. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol.\u00a01102, pp. 269\u2013276. Springer, Heidelberg (1996)"},{"issue":"5","key":"7_CR2","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 signalling pathways. Briefings in Bioinformatics\u00a09(5), 404\u2013421 (2008)","journal-title":"Briefings in Bioinformatics"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Bause, F., Kritzinger, P.S.: Stochastic Petri Nets. Vieweg (2002)","DOI":"10.1007\/978-3-322-86501-4"},{"key":"7_CR4","doi-asserted-by":"publisher","DOI":"10.1016\/B978-044450813-3\/50026-6","volume-title":"Model checking","author":"E.M. Clarke","year":"2001","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model checking. MIT Press, Cambridge (2001) (third printing)"},{"key":"7_CR5","unstructured":"Charlie Website. A Tool for the Analysis of Place\/Transition Nets. BTU Cottbus (2008), http:\/\/www-dssz.informatik.tu-cottbus.de\/software\/charlie\/charlie.html"},{"key":"7_CR6","series-title":"Lecture Notes in Bioinformatics","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: Heiner, M., Uhrmacher, A.M. (eds.) CMSB 2008. LNCS (LNBI), vol.\u00a05307, pp. 269\u2013287. Springer, Heidelberg (2008)"},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/978-3-540-95885-7_2","volume-title":"Membrane Computing","author":"D. Gilbert","year":"2009","unstructured":"Gilbert, D., Breitling, R., Heiner, M., Donaldson, R.: An introduction to biomodel engineering, illustrated for signal transduction pathways. In: Corne, D.W., Frisco, P., Paun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2008. LNCS, vol.\u00a05391, pp. 13\u201328. Springer, Heidelberg (2009)"},{"key":"7_CR8","volume-title":"Performance analysis of communication systems with non-Markovian stochastic Petri nets","author":"R. German","year":"2001","unstructured":"German, R.: Performance analysis of communication systems with non-Markovian stochastic Petri nets. John Wiley and Sons Ltd., Chichester (2001)"},{"key":"7_CR9","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-75140-3_14","volume-title":"Computational Methods in Systems Biology","author":"D. Gilbert","year":"2007","unstructured":"Gilbert, D., Heiner, M., Lehrack, S.: A unifying framework for modelling and analysing biochemical pathways using Petri nets. In: Calder, M., Gilmore, S. (eds.) CMSB 2007. LNCS (LNBI), vol.\u00a04695, pp. 200\u2013216. Springer, Heidelberg (2007)"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Gilbert, D., Heiner, M., Rosser, S., Fulton, R., Gu, X., Trybi\u0142o, M.: A Case Study in Model-driven Synthetic Biology. In: Proc. 2nd IFIP Conference on Biologically Inspired Collaborative Computing (BICC), IFIP WCC 2008, Milano, pp. 163\u2013175 (2008)","DOI":"10.1007\/978-0-387-09655-1_15"},{"issue":"25","key":"7_CR11","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. The Journal of Physical Chemistry\u00a081(25), 2340\u20132361 (1977)","journal-title":"The Journal of Physical Chemistry"},{"key":"7_CR12","volume-title":"Stochastic Petri nets: Modelling, Stability, Simulation","author":"P.J. Haas","year":"2003","unstructured":"Haas, P.J.: Stochastic Petri nets: Modelling, Stability, Simulation. Springer, Heidelberg (2003)"},{"key":"7_CR13","volume-title":"Symbolic Systems Biology: Theory and Methods","author":"M. Heiner","year":"2010","unstructured":"Heiner, M., Donaldson, R., Gilbert, D.: Petri Nets for Systems Biology. In: Iyengar, M.S. (ed.) Symbolic Systems Biology: Theory and Methods. Jones and Bartlett Publishers, Inc., USA (in Press, 2010)"},{"key":"7_CR14","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., et al.: The Systems Biology Markup Language (SBML): A Medium for Representation and Exchange of Biochemical Network Models. J. Bioinformatics\u00a019, 524\u2013531 (2003)","journal-title":"J. Bioinformatics"},{"key":"7_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/978-3-540-68894-5_7","volume-title":"Formal Methods for Computational Systems Biology","author":"M. Heiner","year":"2008","unstructured":"Heiner, M., Gilbert, D., Donaldson, R.: Petri nets in systems and synthetic biology. In: Bernardo, M., Degano, P., Zavattaro, G. (eds.) SFM 2008. LNCS, vol.\u00a05016, pp. 215\u2013264. Springer, Heidelberg (2008)"},{"issue":"5","key":"7_CR16","doi-asserted-by":"publisher","first-page":"512","DOI":"10.1007\/BF01211866","volume":"6","author":"H. Hansson","year":"1994","unstructured":"Hansson, H., Jonsson, B.: A logic for reasoning about time and reliability. Formal Aspects of Computing\u00a06(5), 512\u2013535 (1994)","journal-title":"Formal Aspects of Computing"},{"key":"7_CR17","series-title":"Lecture Notes in Computer Science","first-page":"307","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"T. H\u00e9rault","year":"2004","unstructured":"H\u00e9rault, T., Lassaigne, R., Magniette, F., Peyronnet, S.: Approximate probabilistic model checking. In: Steffen, B., Levi, G. (eds.) VMCAI 2004. LNCS, vol.\u00a02937, pp. 307\u2013329. Springer, Heidelberg (2004)"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Heiner, M., Richter, R., Schwarick, M.: Snoopy - a tool to design and animate\/simulate graph-based formalisms. In: Proc. PNTAP 2008, associated to SIMUTools 2008. ACM digital library (2008)","DOI":"10.4108\/ICST.SIMUTOOLS2008.3098"},{"key":"7_CR19","unstructured":"Lehrack, S.: A tool to model and simulate stochastic Petri nets in the setting of biochemical networks (in German). Master thesis, BTU Cottbus, Dep. of CS (2007)"},{"key":"7_CR20","series-title":"Wiley Series in Parallel Computing","volume-title":"Modelling with Generalized Stochastic Petri Nets","author":"M. Ajmone Marsan","year":"1995","unstructured":"Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets, 2nd edn. Wiley Series in Parallel Computing. John Wiley and Sons, Chichester (1995)","edition":"2"},{"key":"7_CR21","unstructured":"MC2 Website. MC2 - PLTL model checker. University of Glasgow (2008), http:\/\/www.brc.dcs.gla.ac.uk\/software\/mc2\/"},{"issue":"4","key":"7_CR22","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.of the IEEE\u00a077(4), 541\u2013580 (1989)","journal-title":"Proc.of the IEEE"},{"key":"7_CR23","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/0304-3975(81)90110-9","volume":"13","author":"A. Pnueli","year":"1981","unstructured":"Pnueli, A.: The temporal semantics of concurrent programs. Theor. Comput. Sci.\u00a013, 45\u201360 (1981)","journal-title":"Theor. Comput. Sci."},{"key":"7_CR24","volume-title":"Theoretical Informatics - Petri Nets (in German)","author":"L. Priese","year":"2003","unstructured":"Priese, L., Wimmel, H.: Theoretical Informatics - Petri Nets (in German). Springer, Heidelberg (2003)"},{"key":"7_CR25","volume-title":"Petri nets; An introduction","author":"W. Reisig","year":"1982","unstructured":"Reisig, W.: Petri nets; An introduction. Springer, Heidelberg (1982)"},{"key":"7_CR26","unstructured":"Snoopy Website. A Tool to Design and Animate\/Simulate Graphs. BTU Cottbus (2008), http:\/\/www-dssz.informatik.tu-cottbus.de\/software\/snoopy.html"},{"key":"7_CR27","unstructured":"Starke, P.H., Roch, S.: INA - The Intergrated Net Analyzer. Humboldt University Berlin (1999), http:\/\/www.informatik.hu-berlin.de\/~starke\/ina.html"},{"key":"7_CR28","doi-asserted-by":"crossref","DOI":"10.1201\/9781420010664","volume-title":"Stochastic Modelling for System Biology","author":"D.J. Wilkinson","year":"2006","unstructured":"Wilkinson, D.J.: Stochastic Modelling for System Biology, 1st edn. CRC Press, New York (2006)","edition":"1"}],"container-title":["Lecture Notes in Computer Science","Transactions on Computational Systems Biology XI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04186-0_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,11]],"date-time":"2021-10-11T18:06:36Z","timestamp":1633975596000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04186-0_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642041853","9783642041860"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04186-0_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}