{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T23:24:02Z","timestamp":1648769042584},"reference-count":42,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2012,6,12]],"date-time":"2012-06-12T00:00:00Z","timestamp":1339459200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Netw Model Anal Health Inform Bioinforma"],"published-print":{"date-parts":[[2012,9]]},"DOI":"10.1007\/s13721-012-0010-x","type":"journal-article","created":{"date-parts":[[2012,6,11]],"date-time":"2012-06-11T06:36:40Z","timestamp":1339396600000},"page":"117-133","source":"Crossref","is-referenced-by-count":3,"title":["Studying cancer-cell populations by programmable models of networks"],"prefix":"10.1007","volume":"1","author":[{"given":"Luca","family":"Bortolussi","sequence":"first","affiliation":[]},{"given":"Alberto","family":"Policriti","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,6,12]]},"reference":[{"key":"10_CR3","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/j.eururo.2009.07.049","volume":"57","author":"PA Abrahamsson","year":"2010","unstructured":"Abrahamsson PA (2010) Potential benefits of intermittent androgen suppression therapy in the treatment pf prostate cancer: a systematic review of literature. Eur Urol 57:49\u201359","journal-title":"Eur Urol"},{"key":"10_CR34","unstructured":"Ajmone Marsan M, Balbo G, Conte G, Donatelli S, Franceschinis G (1995) Modelling with generalized stochastic petri nets. Wiley, New York"},{"key":"10_CR1","unstructured":"American urological association (2012). Best practice policy statement on cryosurgery for the treatment of localized prostate cancer"},{"key":"10_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0304-3975(97)00127-8","volume":"202","author":"M Bernardo","year":"1998","unstructured":"Bernardo M, Gorrieri R (1998) A tutorial on empa: a theory of concurrent processes with nondeterminism, priorities. probabilities and time. Theor Comput Sci 202:1\u201354","journal-title":"Theor Comput Sci"},{"key":"10_CR5","unstructured":"Billingsley P (1979) Probability and Measure. Wiley, New York"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Bortolussi L, Policriti A (2008) Modeling biological systems in concurrent constraint programming. Constraints 13(1):66\u201390","DOI":"10.1007\/s10601-007-9034-8"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Bortolussi L, Policriti A (2009a) Dynamical systems and stochastic programming\u2014from ordinary differential equations and back. In: Transactions on computational systems biology XI. Lecture notes in computer science, vol 5750. Springer, Berlin, pp 216\u2013267","DOI":"10.1007\/978-3-642-04186-0_11"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Bortolussi L, Policriti A (2009b) Hybrid semantics of stochastic programs with dynamic reconfiguration. In: Proceedings of the CompMod","DOI":"10.4204\/EPTCS.6.5"},{"key":"10_CR9","unstructured":"Bortolussi L, Policriti A (2009c) Tales of spatiality in stochastic concurrent constraint programming. In Proceedings of BioLogic09"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Bortolussi L, Policriti A (2010) Hybrid dynamics of stochastic programs. Theor Comput Sci","DOI":"10.1016\/j.tcs.2010.02.008"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Bortolussi L, Policriti A (2012) (hybrid) automata and (stochastic) programs, the hybrid automata lattice of a stochastic program. J Log Comput. doi: 10.1093\/logcom\/exr045","DOI":"10.1093\/logcom\/exr045"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Bortolussi L, Policriti A (2011) Programmable models of growth and mutation of cancer-cell populations. In: Proceedings of the third international workshop on computational models for cell processes (COMPMOD 2011). EPTCS, vol 67, pp 19\u201333","DOI":"10.4204\/EPTCS.67.4"},{"key":"10_CR13","first-page":"S35","volume":"8","author":"MK Brawer","year":"2006","unstructured":"Brawer MK (2006) Hormonal therapy for prostate cancer. Rev Urol 8:S35\u2013S47","journal-title":"Rev Urol"},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Caravagna G, Hillston J (2010) Modeling biological systems with delays in bio-pepa. In: Proceedings of the fourth workshop on membrane computing and biologically inspired process calculi 2010, Jena, Germany, 23 August 2010. Electronic Proceedings in Theoretical Computer Science, vol 40, pp 85\u2013101","DOI":"10.4204\/EPTCS.40.7"},{"key":"10_CR15","first-page":"45","volume":"11","author":"F Ciocchetta","year":"2009","unstructured":"Ciocchetta F (2009) Bio-PEPA with events. T. Comput Syst Biol 11:45\u201368","journal-title":"T Comp Sys Biol"},{"key":"10_CR16","unstructured":"Ciocchetta F, Hillston J (2008) Formal methods for computational systems biology. In: Process algebras in systems biology. Springer, Berlin, pp 265\u2013312"},{"issue":"33-34","key":"10_CR17","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 (2009) Bio-pepa: a framework for the modelling and analysis of biological systems. Theor Comput Sci 410(33\u201334):3065\u20133084","journal-title":"Theor Comput Sci"},{"key":"10_CR18","doi-asserted-by":"crossref","unstructured":"Danos V, Feret J, Fontana W, Harmer R, Krivine J (2007) Rule-based modelling of cellular signalling. In Proceedings of the 18th international conference on concurrency theory, CONCUR 2007. Lecture Notes in Computer Science, vol 4703. Springer, Berlin, pp 17\u201341","DOI":"10.1007\/978-3-540-74407-8_3"},{"key":"10_CR19","doi-asserted-by":"crossref","unstructured":"Davis MHA (1993) Markov Models and Optimization. Chapman & Hall, London","DOI":"10.1007\/978-1-4899-4483-2"},{"key":"10_CR20","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1146\/annurev-bioeng-071910-124729","volume":"13","author":"TS Deisboeck","year":"2011","unstructured":"Deisboeck TS, Wang Z, Macklin P, Cristini V (2011) Multiscale cancer modeling. Annu Rev Biomed Eng 13:127\u2013155","journal-title":"Annu. Rev. Biomed. Eng"},{"issue":"2","key":"10_CR21","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1002\/bies.200800084","volume":"31","author":"TS Deisboeck","year":"2009","unstructured":"Deisboeck TS, Couzin ID (2009) Collective behavior in cancer cell populations. BioEssays News Rev Mol Cell Dev Biol 31(2):190\u2013197","journal-title":"BioEssays News Rev Mol Cell Dev Biol"},{"key":"10_CR35","doi-asserted-by":"crossref","unstructured":"De Matteis G, Graudenzi A, Antoniotti M (2012) A review of spatial computational models for multi-cellular systems, with regard to intestinal crypts and colorectal cancer development. J Math Biol (submitted)","DOI":"10.1007\/s00285-012-0539-4"},{"key":"10_CR22","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/j.entcs.2011.09.033","volume":"277","author":"C Fornari","year":"2011","unstructured":"Fornari C, Cordero F, Manini D, Balbo G, Calogero R (2011) Mathematical approach to predict the drug effects on cancer stem cell models. Electr Notes Theor Comput Sci 277:29\u201339","journal-title":"Electr Notes Theor Comput Sci"},{"key":"10_CR23","unstructured":"German R (2000) Performance analysis of communication systems with NonMarkovian stochastic petri nets. Wiley, New York"},{"issue":"1","key":"10_CR24","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1063\/1.481811","volume":"113","author":"D Gillespie","year":"2000","unstructured":"Gillespie D (2000) The chemical langevin equation. J Chem Phys 113(1):297\u2013306","journal-title":"J Chem Phys"},{"key":"10_CR25","doi-asserted-by":"crossref","unstructured":"Gillespie DT (1977) Exact stochastic simulation of coupled chemical reactions. J. Phys Chem 81(25):2340\u20132361","DOI":"10.1021\/j100540a008"},{"key":"10_CR26","doi-asserted-by":"crossref","unstructured":"Glynn PW (1989) A gsmp formalism for discrete-event systems. Proc IEEE 77:14\u201323","DOI":"10.1109\/5.21067"},{"issue":"1-2","key":"10_CR27","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/S0304-3975(00)00305-4","volume":"274","author":"H Hermanns","year":"2002","unstructured":"Hermanns H, Herzog U, Katoen J-P (2002) Process algebra for performance evaluation. Theor Comput Sci 274(1\u20132):43\u201387","journal-title":"Theor Comput Sci"},{"issue":"24","key":"10_CR28","doi-asserted-by":"crossref","first-page":"3067","DOI":"10.1093\/bioinformatics\/btl485","volume":"22","author":"S Hoops","year":"2006","unstructured":"Hoops S, Sahle S, Gauges R, Lee C, Pahle J, Simus N, SinghalM, Xu L, Mendes P, Kummer U (2006) COPASI: a COmplex PAthway SImulator. Bioinformatics 22(24):3067\u20133074","journal-title":"Bioinformatics"},{"key":"10_CR29","doi-asserted-by":"crossref","first-page":"593","DOI":"10.1007\/s00332-008-9031-0","volume":"18","author":"AM Ideta","year":"2008","unstructured":"Ideta AM, Tanaka G, Takeuchi T, Aihara K (2008) A mathematical model of intermittent androgen suppression for prostate cancer. Nonlinear Sci 18:593\u2013614","journal-title":"Nonlinear Sci"},{"key":"10_CR30","doi-asserted-by":"crossref","first-page":"187","DOI":"10.3934\/dcdsb.2004.4.187","volume":"4","author":"TL Jackson","year":"2004","unstructured":"Jackson TL (2004) A mathematical model of prostate tumor growth and androgen-independent relapse. Disc Cont Dyn Sys B 4:187\u2013201","journal-title":"Disc Cont Dyn Sys B"},{"key":"10_CR31","doi-asserted-by":"crossref","unstructured":"Jha SK, Clarke EM, Langmead CJ, Legay A, Platzer A, Zuliani P (2009) A bayesian approach to model checking biological systems. In: Proceedings of the 7th international conference on computational methods in systems biology, CMSB 2009. Lecture Notes in Computer Science, vol 5688, pp 218\u2013234","DOI":"10.1007\/978-3-642-03845-7_15"},{"key":"10_CR32","doi-asserted-by":"crossref","unstructured":"Kohn KW, Aladjem MI, Kim S, Weinstein JN, Pommier Y (2006) Depicting combinatorial complexity with the molecular interaction map notation. Mol Syst Biol 2(51):1744\u20134292","DOI":"10.1038\/msb4100088"},{"key":"10_CR33","doi-asserted-by":"crossref","unstructured":"Lecca P, Kahramanogullari O, Morpurgo D, Priami C, Soo R (2011) Modelling the tumor shrinkage pharmacodynamics with blenx. In: 1st IEEE international conference on computational advances in bio and medical sciences (ICCABS)","DOI":"10.1109\/ICCABS.2011.5729904"},{"key":"10_CR36","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/j.entcs.2008.12.108","volume":"227","author":"T Mazza","year":"2009","unstructured":"Mazza T, Cavaliere M (2009) Cell cycle and tumor growth in membrane systems with peripheral proteins. Electr Notes Theor Comput Sci 227:127\u2013141","journal-title":"Electr Notes Theor Comput Sci"},{"key":"10_CR37","doi-asserted-by":"crossref","unstructured":"Norris JR (1997) Markov chains. Cambridge University Press, Cambridge","DOI":"10.1017\/CBO9780511810633"},{"key":"10_CR38","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1111\/j.1464-410X.2007.07488.x","volume":"101","author":"AR Rao","year":"2008","unstructured":"Rao AR, Motiwala HG, Karim OMA (2008) The discovery of prostate-specific antigen. BJU Int 101:5\u201310","journal-title":"BJU Int"},{"issue":"2","key":"10_CR39","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1137\/S0036144504446291","volume":"49","author":"T Roose","year":"2007","unstructured":"Roose T, Chapman SJ, Maini PK (2007) Mathematical models of avascular tumor growth. SIAM Rev 49(2):179\u2013208","journal-title":"SIAM Rev"},{"key":"10_CR2","unstructured":"Sbml website. http:\/\/www.sbml.org"},{"issue":"8","key":"10_CR40","doi-asserted-by":"crossref","first-page":"1314","DOI":"10.1016\/j.ijar.2009.06.007","volume":"50","author":"D Skulj","year":"2009","unstructured":"Skulj D (2009) Discrete time markov chains with interval probabilities. Int J Approx Reason 50(8):1314\u20131329","journal-title":"Int J Approx Reason"},{"key":"10_CR41","doi-asserted-by":"crossref","first-page":"5029","DOI":"10.1098\/rsta.2010.0221","volume":"368","author":"G Tanaka","year":"2010","unstructured":"Tanaka G, Hirata Y, Goldenberg SL, Bruchovsky N, Aihara K (2010) Mathematical modelling of prostate cancer growth and its application to hormone therapy. Phyl Trans Royal Soc A 368:5029\u20135044","journal-title":"Phyl Trans Royal Soc A"},{"key":"10_CR42","doi-asserted-by":"crossref","unstructured":"Wilkinson DJ (2006) Stochastic modelling for systems biology. Chapman & Hall, London","DOI":"10.1201\/9781420010664"}],"container-title":["Network Modeling Analysis in Health Informatics and Bioinformatics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13721-012-0010-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s13721-012-0010-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13721-012-0010-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,17]],"date-time":"2022-01-17T08:24:01Z","timestamp":1642407841000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s13721-012-0010-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6,12]]},"references-count":42,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2012,9]]}},"alternative-id":["10"],"URL":"https:\/\/doi.org\/10.1007\/s13721-012-0010-x","relation":{},"ISSN":["2192-6662","2192-6670"],"issn-type":[{"value":"2192-6662","type":"print"},{"value":"2192-6670","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,6,12]]}}}