{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T18:21:04Z","timestamp":1725906064505},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319631202"},{"type":"electronic","value":"9783319631219"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-63121-9_5","type":"book-chapter","created":{"date-parts":[[2017,7,24]],"date-time":"2017-07-24T08:05:15Z","timestamp":1500883515000},"page":"96-111","source":"Crossref","is-referenced-by-count":0,"title":["Improving the Timed Automata Approach to Biological Pathway Dynamics"],"prefix":"10.1007","author":[{"given":"Rom","family":"Langerak","sequence":"first","affiliation":[]},{"given":"Jaco","family":"van de Pol","sequence":"additional","affiliation":[]},{"given":"Janine N.","family":"Post","sequence":"additional","affiliation":[]},{"given":"Stefano","family":"Schivo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,7,25]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126, 183\u2013235 (1994)","journal-title":"Theor. Comput. Sci."},{"key":"5_CR2","unstructured":"ANIMO. http:\/\/fmt.cs.utwente.nl\/tools\/animo"},{"key":"5_CR3","doi-asserted-by":"crossref","first-page":"3065","DOI":"10.1016\/j.tcs.2009.02.037","volume":"410","author":"F Ciocchetta","year":"2009","unstructured":"Ciocchetta, F., Hillston, J.: Bio-PEPA: a framework for the modelling and analysis of biological systems. Theor. Comput. Sci. 410, 3065\u20133084 (2009)","journal-title":"Theor. Comput. Sci."},{"key":"5_CR4","unstructured":"Cytoscape 3 ANIMO app. http:\/\/apps.cytoscape.org\/apps\/animo"},{"key":"5_CR5","series-title":"Systems Biology","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1007\/978-1-4419-5797-9_2","volume-title":"Systems Biology for Signaling Networks","author":"BJ Daigle","year":"2010","unstructured":"Daigle, B.J., Srinivasan, B.S., Flannick, J.A., Novak, A.F., Batzoglou, S.: Current progress in static and dynamic modeling of biological networks. In: Choi, S. (ed.) Systems Biology for Signaling Networks. Systems Biology, vol. 1, pp. 13\u201373. Springer, New York (2010)"},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/978-3-642-33365-1_8","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"AE Dalsgaard","year":"2012","unstructured":"Dalsgaard, A.E., Laarman, A., Larsen, K.G., Olesen, M.C., van de Pol, J.: Multi-core reachability for timed automata. In: Jurdzi\u0144ski, M., Ni\u010dkovi\u0107, D. (eds.) FORMATS 2012. LNCS, vol. 7595, pp. 91\u2013106. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-33365-1_8"},{"issue":"3","key":"5_CR7","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1007\/s10009-014-0323-4","volume":"17","author":"A David","year":"2015","unstructured":"David, A., Larsen, K.G., Legay, A., Miku\u010dionis, M., Poulsen, D.B., Sedwards, S.: Statistical model checking for biological systems. Int. J. Softw. Tools Technol. Transfer 17(3), 351\u2013367 (2015)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"issue":"3","key":"5_CR8","doi-asserted-by":"crossref","first-page":"336","DOI":"10.1093\/bioinformatics\/btf851","volume":"19","author":"H Jong de","year":"2003","unstructured":"de Jong, H., Geiselmann, J., Hernandez, C., Page, M.: Genetic network analyzer: qualitative simulation of genetic regulatory networks. Bioinformatics 19(3), 336\u2013344 (2003)","journal-title":"Bioinformatics"},{"key":"5_CR9","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1145\/1364644.1364653","volume":"35","author":"L Dematt\u00e9","year":"2008","unstructured":"Dematt\u00e9, L., Priami, C., Romanel, A.: Modelling and simulation of biological processes in BlenX. SIGMETRICS Perform. Eval. Rev. 35, 32\u201339 (2008)","journal-title":"SIGMETRICS Perform. Eval. Rev."},{"issue":"6","key":"5_CR10","doi-asserted-by":"crossref","first-page":"1551","DOI":"10.1002\/pmic.200300772","volume":"4","author":"PV Hornbeck","year":"2004","unstructured":"Hornbeck, P.V., Chabra, I., Kornhauser, J.M., Skrzypek, E., Zhang, B.: PhosphoSite: a bioinformatics resource dedicated to physiological protein phosphorylation. Proteomics 4(6), 1551\u20131561 (2004)","journal-title":"Proteomics"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Kanehisa, M., Goto, S.: KEGG: kyoto encyclopedia of genes and genomes. Nucleic Acids Res. 28(1), 27\u201330 (2000)","DOI":"10.1093\/nar\/28.1.27"},{"key":"5_CR12","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/978-1-60761-175-2_12","volume":"563","author":"S Killcoyne","year":"2009","unstructured":"Killcoyne, S., Carter, G.W., Smith, J., Boyle, J.: Cytoscape: a community-based framework for network modeling. Methods Mol. Biol. (Clifton, N.J.) 563, 219\u2013239 (2009)","journal-title":"Methods Mol. Biol. (Clifton, N.J.)"},{"key":"5_CR13","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"KG Larsen","year":"1997","unstructured":"Larsen, K.G., Pettersson, P., Yi, W.: UPPAAL in a Nutshell. Int. J. Softw. Tools Technol. Transf. (STTT) 1, 134\u2013152 (1997)","journal-title":"Int. J. Softw. Tools Technol. Transf. (STTT)"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Mendes, P., Hoops, S., Sahle, S., Gauges, R., Dada, J., Kummer, U.: Computational modeling of biochemical networks using COPASI systems biology. vol. 500 of Methods in Molecular Biology, chapter 2, pp. 17\u201359. Humana Press, Totowa, NJ (2009)","DOI":"10.1007\/978-1-59745-525-1_2"},{"issue":"16","key":"5_CR15","doi-asserted-by":"crossref","first-page":"i227","DOI":"10.1093\/bioinformatics\/btn275","volume":"24","author":"PT Monteiro","year":"2008","unstructured":"Monteiro, P.T., Ropers, D., Mateescu, R., Freitas, A.T., de Jong, H.: Temporal logic patterns for querying dynamic models of cellular interaction networks. Bioinformatics 24(16), i227\u2013i233 (2008)","journal-title":"Bioinformatics"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Santos, S.D.M., Verveer, P.J., Bastiaens, P.I.H.: Growth factor-induced MAPK network topology shapes Erk response determining PC-12 cell fate. Nat. Cell Biol. 9(3), 324\u2013330 (2007)","DOI":"10.1038\/ncb1543"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Schivo, S., Scholma, J., Karperien, H.B.J., Post, J.N., van de Pol, J.C., Langerak, R.: Setting parameters for biological models with ANIMO. In: Andr\u00e9, E., Frehse, G. (ed) Proceedings 1st International Workshop on Synthesis of Continuous Parameters, Grenoble, France, vol. 145 of Electronic Proceedings in Theoretical Computer Science, pp. 35\u201347. Open Publishing Association, April 2014","DOI":"10.4204\/EPTCS.145.5"},{"issue":"1","key":"5_CR18","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1186\/s12918-016-0286-z","volume":"10","author":"S Schivo","year":"2016","unstructured":"Schivo, S., Scholma, J., van der Vet, P.E., Karperien, M., Post, J.N., van de Pol, J., Langerak, R.: Modelling with ANIMO: between fuzzy logic and differential equations. BMC Syst. Biol. 10(1), 56 (2016)","journal-title":"BMC Syst. Biol."},{"issue":"3","key":"5_CR19","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1109\/JBHI.2013.2292880","volume":"18","author":"S Schivo","year":"2013","unstructured":"Schivo, S., Scholma, J., Wanders, B., Urquidi Camacho, R.A., van der Vet, P., Karperien, M., Langerak, R., van de Pol, J., Post, J.: Modelling biological pathway dynamics with timed automata. IEEE J. Biomed. Health Inf. 18(3), 832\u2013839 (2013)","journal-title":"IEEE J. Biomed. Health Inf."},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"Scholma, J., Kerkhofs, J., Schivo, S., Langerak, R., van der Vet, P.E., Karperien, H.B.J., van de Pol, J.C., Geris, L., Post, J.N.: Mathematical modeling of signaling pathways in osteoarthritis. In: Lohmander, S. (ed.) 2013 Osteoarthritis Research Society International (OARSI) World Congress. Philadelphia, USA, vol. 21, Supplement, pp. S123\u2013S123. Elsevier, Amsterdam (2013)","DOI":"10.1016\/j.joca.2013.02.259"},{"key":"5_CR21","unstructured":"Scholma, J., Schivo, S., Kerkhofs, J., Langerak, R., Karperien, H.B.J., van de Pol, J.C., Geris, L., Post, J.N.: ECHO: the executable chondrocyte. In: Tissue Engineering & Regenerative Medicine International Society, European Chapter Meeting, Genova, Italy, vol. 8, pp. 54\u201354, Malden, June 2014 (Wiley)"},{"issue":"1","key":"5_CR22","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1016\/j.gene.2013.10.010","volume":"533","author":"J Scholma","year":"2014","unstructured":"Scholma, J., Schivo, S., Urquidi Camacho, R.A., van de Pol, J., Karperien, M., Post, J.: Biological networks 101: Computational modeling for molecular biologists. Gene 533(1), 379\u2013384 (2014)","journal-title":"Gene"},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"Siers, W., Bakker, M., Rubbens, B., Haasjes, R., Brandt, J., Schivo, S.: webANIMO: Improving the accessibility of ANIMO [version 1; referees: 3 approved with reservations]. F1000Research, 5(1714) (2016)","DOI":"10.12688\/f1000research.9130.1"},{"issue":"1","key":"5_CR24","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1093\/bioinformatics\/15.1.72","volume":"15","author":"M Tomita","year":"1999","unstructured":"Tomita, M., Hashimoto, K., Takahashi, K., Shimizu, T.S., Matsuzaki, Y., Miyoshi, F., Saito, K., Tanida, S., Yugi, K., Venter, J.C., Hutchison III, C.A.: E-CELL: software environment for whole-cell simulation. Bioinformatics 15(1), 72\u201384 (1999)","journal-title":"Bioinformatics"},{"key":"5_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/978-3-642-21455-4_9","volume-title":"Formal Methods for Eternal Networked Software Systems","author":"J Tretmans","year":"2011","unstructured":"Tretmans, J.: Model-based testing and some steps towards test-based modelling. In: Bernardo, M., Issarny, V. (eds.) Formal Methods for Eternal Networked Software Systems. LNCS, vol. 6659, pp. 297\u2013326. Springer, Heidelberg (2011)"}],"container-title":["Lecture Notes in Computer Science","Models, Algorithms, Logics and Tools"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-63121-9_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T13:28:07Z","timestamp":1569936487000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-63121-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319631202","9783319631219"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-63121-9_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}