{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,23]],"date-time":"2025-10-23T11:15:27Z","timestamp":1761218127460},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"S6","license":[{"start":{"date-parts":[[2013,4,1]],"date-time":"2013-04-01T00:00:00Z","timestamp":1364774400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/2.0"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["BMC Bioinformatics"],"published-print":{"date-parts":[[2013,4]]},"DOI":"10.1186\/1471-2105-14-s6-s11","type":"journal-article","created":{"date-parts":[[2019,1,22]],"date-time":"2019-01-22T09:44:41Z","timestamp":1548150281000},"source":"Crossref","is-referenced-by-count":8,"title":["Multi-level model for the investigation of oncoantigen-driven vaccination effect"],"prefix":"10.1186","volume":"14","author":[{"given":"Francesca","family":"Cordero","sequence":"first","affiliation":[]},{"given":"Marco","family":"Beccuti","sequence":"additional","affiliation":[]},{"given":"Chiara","family":"Fornari","sequence":"additional","affiliation":[]},{"given":"Stefania","family":"Lanzardo","sequence":"additional","affiliation":[]},{"given":"Laura","family":"Conti","sequence":"additional","affiliation":[]},{"given":"Federica","family":"Cavallo","sequence":"additional","affiliation":[]},{"given":"Gianfranco","family":"Balbo","sequence":"additional","affiliation":[]},{"given":"Raffaele","family":"Calogero","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,4,17]]},"reference":[{"key":"5809_CR1","volume-title":"Molecular Systems Biology","author":"W Hlavacek","year":"2009","unstructured":"Hlavacek W: How to deal with large models?. Molecular Systems Biology. 2009, 5:"},{"key":"5809_CR2","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1093\/carcin\/bgp261","volume":"31","author":"P Kreeger","year":"2010","unstructured":"Kreeger P, Lauffenburger D: Cancer systems biology: a network modeling perspective. Carcinogenesis. 2010, 31: 2-8. 10.1093\/carcin\/bgp261.","journal-title":"Carcinogenesis"},{"key":"5809_CR3","doi-asserted-by":"crossref","first-page":"33","DOI":"10.3233\/BD-2004-20105","volume":"20","author":"T Pannellini","year":"2004","unstructured":"Pannellini T, Forni G, Musiani P: Immunobiology of her-2\/neu transgenic mice. Breast Disease. 2004, 20: 33-42.","journal-title":"Breast Disease"},{"key":"5809_CR4","first-page":"328","volume-title":"Proc Int Conf Intelligent Systems for Molecular Biology","author":"V Reddy","year":"1993","unstructured":"Reddy V, Mavrovouniotis M, Liebman M: Petri net representation in metabolic pathways. Proc Int Conf Intelligent Systems for Molecular Biology. 1993, 328-336."},{"key":"5809_CR5","volume-title":"Proceedings of the CS2Bio 2nd International Workshop on Interactions between Computer Science and Biology. Reykjavik, Iceland","author":"C Fornari","year":"2011","unstructured":"Fornari C, Cordero F, Manini D, Calogero R, Balbo G: Mathematical approach to predict the drug effects on cancer stem cell models. Proceedings of the CS2Bio 2nd International Workshop on Interactions between Computer Science and Biology. Reykjavik, Iceland. 2011"},{"key":"5809_CR6","doi-asserted-by":"publisher","first-page":"105","DOI":"10.3109\/00313020903488773","volume":"42","author":"C Hemmings","year":"2010","unstructured":"Hemmings C: The elaboration of a critical framework for understanding cancer: the cancer stem cell hypothesis. Pathology. 2010, 42: 105-112. 10.3109\/00313020903488773.","journal-title":"Pathology"},{"key":"5809_CR7","doi-asserted-by":"publisher","first-page":"2858","DOI":"10.1158\/0008-5472.CAN-03-2962","volume":"64","author":"E Quaglino","year":"2004","unstructured":"Quaglino E, Iezzi M, Mastini C, Amici A, Pericle F, Carlo ED, Pupa S, Giovanni CD, Spadaro M, Curcio C, Lollini P, Musiani P, Forni G, Cavallo F: Electroporated DNA vaccine clears away multifocal mammary carcinomas in her-2\/neu transgenic mice. Cancer Research. 2004, 64: 2858-2864. 10.1158\/0008-5472.CAN-03-2962.","journal-title":"Cancer Research"},{"key":"5809_CR8","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1038\/msb4100188","volume":"3","author":"M Birtwistle","year":"2007","unstructured":"Birtwistle M, Hatakeyama M, Yumoto N, Ogunnaike B, Hoek J, Kholodenko B: Ligand-dependent responses of the ErbB signaling network: experimental and modeling analyses. Molecular Systems Biology. 2007, 3: 144-160.","journal-title":"Molecular Systems Biology"},{"key":"5809_CR9","doi-asserted-by":"publisher","first-page":"339","DOI":"10.4161\/cc.2.4.433","volume":"2","author":"J Liang","year":"2003","unstructured":"Liang J, Slingerland J: Multiple roles of the PI3K\/PKB (Akt) pathway in cell cycle progression. Cell Cycle. 2003, 2: 339-345.","journal-title":"Cell Cycle"},{"key":"5809_CR10","doi-asserted-by":"publisher","first-page":"589","DOI":"10.1084\/jem.188.3.589","volume":"188","author":"K Boggio","year":"1998","unstructured":"Boggio K, Nicoletti G, Carlo ED, Cavallo F, Landuzzi L, Melani C, Giovarelli M, Rossi I, Nanni P, Giovanni CD, Bouchard P, Wolf S, Modesti A, Musiani P, Lollini P, Colombo M, Forni G: Interleukin 12-mediated prevention of spontaneous mammary adenocarcinomas in two lines of Her-2\/neu transgenic mice. J Exp Med. 1998, 188: 589-596. 10.1084\/jem.188.3.589.","journal-title":"J Exp Med"},{"key":"5809_CR11","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1002\/j.1460-2075.1992.tb05025.x","volume":"11","author":"W Gullick","year":"1992","unstructured":"Gullick W, Bottomley A, Lofts F, Doak D, Mulvey D, Newman R, Crumpton M, Sternberg M, Campbell I: Three dimensional structure of the transmembrane region of the proto-oncogenic and oncogenic forms of the neu protein. EMBO journal. 1992, 11: 43-48.","journal-title":"EMBO journal"},{"key":"5809_CR12","doi-asserted-by":"publisher","first-page":"4170","DOI":"10.4049\/jimmunol.0903375","volume":"15","author":"A Porzia","year":"2010","unstructured":"Porzia A, Lanzardo S, Citti A, Cavallo F, Forni G, Santoni A, Galandrini R, Paolini R: Attenuation of PI3K\/Akt-mediated tumorigenic signals through PTEN activation by DNA vaccine-induced anti-ErbB2 antibodies. Journal of Immunology. 2010, 15: 4170-4177.","journal-title":"Journal of Immunology"},{"key":"5809_CR13","doi-asserted-by":"publisher","first-page":"81","DOI":"10.2174\/1568010043483863","volume":"3","author":"L Li","year":"2004","unstructured":"Li L: Regulation of innate immunity signaling and its connection with human diseases. Current Drug Targets Inflamm Allergy. 2004, 3: 81-86. 10.2174\/1568010043483863.","journal-title":"Current Drug Targets Inflamm Allergy"},{"key":"5809_CR14","doi-asserted-by":"publisher","first-page":"8875","DOI":"10.1074\/jbc.M410882200","volume":"280","author":"S Ghatak","year":"2005","unstructured":"Ghatak S, Misra S, Toole B: Hyaluronan constitutively regulates ErbB2 phosphorylation and signaling complex formation in carcinoma cells. Journal Biology Chemical. 2005, 280: 8875-8883.","journal-title":"Journal Biology Chemical"},{"key":"5809_CR15","first-page":"1","volume":"26","author":"W Xie","year":"2010","unstructured":"Xie W, Huang Y, Xie W, Guo A, Wu W: Bacteria peptidoglycan promoted breast cancer cell invasiveness and adhesiveness by targeting toll-like receptor 2 in the cancer cells. PLoS One. 2010, 26: 1-15.","journal-title":"PLoS One"},{"key":"5809_CR16","doi-asserted-by":"publisher","first-page":"5133","DOI":"10.4049\/jimmunol.165.9.5133","volume":"165","author":"S Rovero","year":"2000","unstructured":"Rovero S, Amici A, Carlo ED, Bei R, Nanni P, Quaglino E, Porcedda P, Boggio K, Smorlesi A, Lollini P, Landuzzi L, Colombo M, Giovarelli M, Musiani P, Forni G: DNA vaccination against rat her-2\/Neu p185 more effectively inhibits carcinogenesis than transplantable carcinomas in transgenic BALB\/c mice. Journal of Immunology. 2000, 165: 5133-5142.","journal-title":"Journal of Immunology"},{"key":"5809_CR17","doi-asserted-by":"publisher","first-page":"1500","DOI":"10.1158\/0008-5472.CAN-05-2925","volume":"66","author":"K O'Reilly","year":"2006","unstructured":"O'Reilly K, Rojo F, She Q, Solit D, Mills G, Smith D, Lane H, Hofmann F, Hicklin D, Ludwig D, Baselga J, Rosen N: mTOR inhibition induces upstream receptor tyrosine kinase signaling and activates Akt. Cancer Research. 2006, 66: 1500-1508. 10.1158\/0008-5472.CAN-05-2925.","journal-title":"Cancer Research"},{"key":"5809_CR18","doi-asserted-by":"publisher","first-page":"1515","DOI":"10.1016\/j.cellsig.2011.05.004","volume":"23","author":"I Hers","year":"2011","unstructured":"Hers I, Vincent E, JM JT: Akt signalling in health and disease. Cell Signalling. 2011, 23: 1515-1527. 10.1016\/j.cellsig.2011.05.004.","journal-title":"Cell Signalling"},{"key":"5809_CR19","doi-asserted-by":"publisher","first-page":"697","DOI":"10.1016\/S0092-8674(85)80050-7","volume":"41","author":"J Drebin","year":"1985","unstructured":"Drebin J, Link V, Stern D, Weinberg R, Greene M: Down-modulation of an oncogene protein product and reversion of the transformed phenotype by monoclonal antibodies. Cell. 1985, 41: 697-706.","journal-title":"Cell"},{"key":"5809_CR20","doi-asserted-by":"publisher","first-page":"644","DOI":"10.1038\/nm0795-644","volume":"1","author":"M Katsumata","year":"1995","unstructured":"Katsumata M, Okudaira T, Samanta A, Clark D, Drebin J, Jolicoeur P, Greene M: Prevention of breast tumour development in vivo by downregulation of the p185neu receptor. Nature Methods. 1995, 1: 644-648. 10.1038\/nm0795-644.","journal-title":"Nature Methods"},{"key":"5809_CR21","doi-asserted-by":"publisher","first-page":"2099","DOI":"10.1038\/sj.onc.1201029","volume":"14","author":"L Klapper","year":"1997","unstructured":"Klapper L, Vaisman N, Hurwitz E, Pinkas-Kramarski R, Yarden Y, Sela M: A subclass of tumor-inhibitory monoclonal antibodies to ErbB-2\/HER2 blocks crosstalk with growth factor receptors. Oncogene. 1997, 14: 2099-2109. 10.1038\/sj.onc.1201029.","journal-title":"Oncogene"},{"key":"5809_CR22","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1002\/ijc.2910530310","volume":"53","author":"F Xu","year":"1993","unstructured":"Xu F, Lupu R, Rodriguez G, Whitaker R, Boente M, Berchuck A, Yu Y, DeSombre K, Boyer C, Bast R: Antibody-induced growth inhibition is mediated through immunochemically and functionally distinct epitopes on the extracellular domain of the c-erbB-2 (HER-2\/neu) gene product p185. Int J Cancer. 1993, 53: 401-408. 10.1002\/ijc.2910530310.","journal-title":"Int J Cancer"},{"key":"5809_CR23","doi-asserted-by":"publisher","first-page":"6036","DOI":"10.1016\/j.tcs.2011.06.013","volume":"412","author":"F Cordero","year":"2011","unstructured":"Cordero F, Horvath A, Manini D, Napione L, Pierro MD, Pavan S, Picco A, Veglio A, Sereno M, Bussolino F, Balbo G: Simplification of a complex signal transduction model by the application of invariants and flow equivalent server. Theoretical Computer Science. 2011, 412: 6036-6057. 10.1016\/j.tcs.2011.06.013.","journal-title":"Theoretical Computer Science"},{"key":"5809_CR24","volume-title":"Petri Net Theory and the Modeling of Systems","author":"J Peterson","year":"1981","unstructured":"Peterson J: Petri Net Theory and the Modeling of Systems. 1981, Upper Saddle River, NJ, USA: Prentice Hall PTR"},{"key":"5809_CR25","first-page":"113","volume":"16","author":"R Hofest\u00e4dt","year":"1994","unstructured":"Hofest\u00e4dt R: A Petri Net Application of Metabolic Processes. Journal of System Analysis, Modeling and Simulation. 1994, 16: 113-122.","journal-title":"Journal of System Analysis, Modeling and Simulation"},{"issue":"12","key":"5809_CR26","doi-asserted-by":"publisher","first-page":"6750","DOI":"10.1073\/pnas.95.12.6750","volume":"95","author":"P Goss","year":"1998","unstructured":"Goss P, Pecoud J: Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri nets. Proc Natl Acad Sci. 1998, 95 (12): 6750-6755. 10.1073\/pnas.95.12.6750.","journal-title":"Proc Natl Acad Sci"},{"key":"5809_CR27","unstructured":"Hofest\u00e4dt R, Thelen S: Quantitative modeling of biochemical networks. In Silico Biology. 1998, 1 (6):"},{"issue":"9","key":"5809_CR28","doi-asserted-by":"publisher","first-page":"913","DOI":"10.1109\/TC.1982.1676110","volume":"31","author":"MK Molloy","year":"1982","unstructured":"Molloy MK: Performance Analysis using Stochastic Petri Nets. IEEE Transaction on Computers. 1982, 31 (9): 913-917.","journal-title":"IEEE Transaction on Computers"},{"key":"5809_CR29","volume-title":"Th\u00e8se de Docteur Ing\u00e9gneur, CNAM","author":"S Natkin","year":"1980","unstructured":"Natkin S: Les r\u00e9seaux de Petri stochastiques et leur application \u00e0 l'\u00e9valuation des syst\u00e8mes informatiques. Th\u00e8se de Docteur Ing\u00e9gneur, CNAM. 1980"},{"key":"5809_CR30","first-page":"1","volume-title":"Lectures on Formal Mathods and Performance Analysis, Volume 2090 of LNCS","author":"G Balbo","year":"2001","unstructured":"Balbo G: Introduction to Stochastic Petri Nets. Lectures on Formal Mathods and Performance Analysis, Volume 2090 of LNCS. Edited by: Brinksma E, Hermanns H, Katoen JP. 2001, Berlin, Germany: Springer, 1-37."},{"issue":"7","key":"5809_CR31","doi-asserted-by":"publisher","first-page":"2976","DOI":"10.1063\/1.1678692","volume":"57","author":"TG Kurtz","year":"1972","unstructured":"Kurtz TG: The Relationship between Stochastic and Deterministic Models for Chemical Reactions. J Chem Phys. 1972, 57 (7): 2976-2978. 10.1063\/1.1678692.","journal-title":"J Chem Phys"},{"key":"5809_CR32","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1016\/j.biosystems.2004.03.003","volume":"75","author":"M Heiner","year":"2004","unstructured":"Heiner M, Koch I, Will J: Model validation of biological pathways using Petri nets demonstrated for apoptosis. BioSystems. 2004, 75: 10-28.","journal-title":"BioSystems"},{"key":"5809_CR33","volume-title":"Proceedings of the International Workshop on Biological Processes and Petri Nets (BioPPN)","author":"M Heiner","year":"2010","unstructured":"Heiner M, Mahulea C, Silva M: On the Importance of the Deadlock Trap Property for Monotonic Liveness. Proceedings of the International Workshop on Biological Processes and Petri Nets (BioPPN). 2010"},{"issue":"4","key":"5809_CR34","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. Proceedings of the IEEE. 1989, 77 (4): 541-580. 10.1109\/5.24143.","journal-title":"Proceedings of the IEEE"},{"key":"5809_CR35","volume-title":"Proceedings of the 5th Annual IEEE Symposium on Logic in Computer Science (LICS'90))","author":"JR Burch","year":"1990","unstructured":"Burch JR, Clarke EM, McMillan KL, Dill DL, Hwang J: Symbolic model checking: 1020 states and beyond. Proceedings of the 5th Annual IEEE Symposium on Logic in Computer Science (LICS'90)). 1990"},{"key":"5809_CR36","volume-title":"An Introduction to Probability Theory and its Applications, Vol. 1","author":"W Feller","year":"1968","unstructured":"Feller W: An Introduction to Probability Theory and its Applications, Vol. 1. 1968, John Wiley"},{"key":"5809_CR37","doi-asserted-by":"publisher","first-page":"404","DOI":"10.1016\/0378-4371(92)90283-V","volume":"188","author":"D Gillespie","year":"1992","unstructured":"Gillespie D: A rigorous derivation of the master chemical equation. Physica. 1992, 188: 404-425. 10.1016\/0378-4371(92)90283-V.","journal-title":"Physica"},{"key":"5809_CR38","doi-asserted-by":"publisher","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"D Gillespie","year":"1977","unstructured":"Gillespie D: Exact Stochastic Simulation of Coupled Chemical Reactions. The Journal of Physical Chemistry. 1977, 81: 2340-2361. 10.1021\/j100540a008.","journal-title":"The Journal of Physical Chemistry"},{"key":"5809_CR39","first-page":"1716","volume":"188","author":"D Gillespie","year":"2001","unstructured":"Gillespie D: Approximate accelerated stochastic simulation of chemically reacting systems. J Comp Phys. 2001, 188: 1716-1733.","journal-title":"J Comp Phys"},{"key":"5809_CR40","volume-title":"Computational Analysis of Biochemical Systems","author":"EO Voit","year":"2000","unstructured":"Voit EO: Computational Analysis of Biochemical Systems. 2000, Cambridge University Press"}],"container-title":["BMC Bioinformatics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/1471-2105-14-S6-S11.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1186\/1471-2105-14-S6-S11\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/1471-2105-14-S6-S11.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,22]],"date-time":"2019-01-22T11:10:59Z","timestamp":1548155459000},"score":1,"resource":{"primary":{"URL":"https:\/\/bmcbioinformatics.biomedcentral.com\/articles\/10.1186\/1471-2105-14-S6-S11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,4]]},"references-count":40,"journal-issue":{"issue":"S6","published-print":{"date-parts":[[2013,4]]}},"alternative-id":["5809"],"URL":"https:\/\/doi.org\/10.1186\/1471-2105-14-s6-s11","relation":{},"ISSN":["1471-2105"],"issn-type":[{"value":"1471-2105","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,4]]},"article-number":"S11"}}