{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T09:16:25Z","timestamp":1762506985730},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"S19","content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["BMC Bioinformatics"],"published-print":{"date-parts":[[2016,12]]},"DOI":"10.1186\/s12859-016-1361-6","type":"journal-article","created":{"date-parts":[[2016,12,22]],"date-time":"2016-12-22T07:44:50Z","timestamp":1482392690000},"update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":21,"title":["A methodological approach for using high-level Petri Nets to model the immune system response"],"prefix":"10.1186","volume":"17","author":[{"given":"Marzio","family":"Pennisi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Salvatore","family":"Cavalieri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Santo","family":"Motta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Pappalardo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,12,22]]},"reference":[{"key":"1361_CR1","volume-title":"Cellular and molecular immunology","author":"AK Abbas","year":"2010","unstructured":"Abbas AK, Lichtman AH, Pillai S. Cellular and molecular immunology. Philadelphia: Saunders\/Elsevier; 2010."},{"issue":"3","key":"1361_CR2","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1051\/mmnp\/20127312","volume":"7","author":"F Pappalardo","year":"2012","unstructured":"Pappalardo F, Palladini A, Pennisi M, Castiglione F, Motta S. Mathematical and computational models in tumor immunology. Math Model Nat Phenom. 2012;7(3):186\u2013203.","journal-title":"Math Model Nat Phenom"},{"issue":"4","key":"1361_CR3","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1093\/bib\/bbs061","volume":"14","author":"S Motta","year":"2013","unstructured":"Motta S, Pappalardo F. Mathematical modeling of biological systems. Brief Bioinform. 2013;14(4):411\u201322.","journal-title":"Brief Bioinform"},{"key":"1361_CR4","series-title":"2011 AIP Conference Proceedings","first-page":"945","volume-title":"Immune system network and cancer vaccine","author":"C Bianca","year":"2011","unstructured":"Bianca C, Pennisi M, Motta S, Ragusa MA. Immune system network and cancer vaccine, 2011 AIP Conference Proceedings, vol. 1389. 2011. p. 945\u20138."},{"issue":"15","key":"1361_CR5","doi-asserted-by":"crossref","first-page":"2514","DOI":"10.1093\/bioinformatics\/btv172","volume":"31","author":"F Gullo","year":"2015","unstructured":"Gullo F, van der Garde N, Russo G, Pennisi M, Motta S, Pappalardo F, Watt S. Computational modeling of the expansion of human cord blood CD133+ hematopoietic stem\/progenitor cells with different cytokine combinations. Bioinformatics. 2015;31(15):2514\u201322.","journal-title":"Bioinformatics"},{"key":"1361_CR6","series-title":"8th International Conference (ICARIS 2009), Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-642-03246-2_1","volume-title":"Agent based modeling of lung metastasis-immune system competition","author":"M Pennisi","year":"2009","unstructured":"Pennisi M, Pappalardo F, Motta S. Agent based modeling of lung metastasis-immune system competition, 8th International Conference (ICARIS 2009), Lecture Notes in Computer Science, vol. 5666. 2009. p. 1\u20133."},{"issue":"Suppl 16","key":"1361_CR7","doi-asserted-by":"crossref","first-page":"S9","DOI":"10.1186\/1471-2105-14-S16-S9","volume":"14","author":"M Pennisi","year":"2013","unstructured":"Pennisi M, Rajput A-M, Toldo L, Pappalardo F. Agent based modeling of Treg-Teff cross regulation in relapsing-remitting multiple sclerosis. BMC Bioinformatics. 2013;14 Suppl 16:S9.","journal-title":"BMC Bioinformatics"},{"issue":"4","key":"1361_CR8","doi-asserted-by":"crossref","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. 1989;77(4):541\u201380.","journal-title":"Proc IEEE"},{"issue":"4","key":"1361_CR9","doi-asserted-by":"publisher","first-page":"6477","DOI":"10.4249\/scholarpedia.6477","volume":"3","author":"CA Petri","year":"2008","unstructured":"Petri CA, Reisig W. Petri Net. Scholarpedia. 2008;3(4):6477. doi: 10.4249\/scholarpedia.6477 .","journal-title":"Scholarpedia"},{"key":"1361_CR10","series-title":"Petri Nets: central models and their properties","doi-asserted-by":"crossref","first-page":"248","DOI":"10.1007\/978-3-540-47919-2_10","volume-title":"Coloured Petri Nets","author":"J Jensen","year":"1987","unstructured":"Jensen J. Coloured Petri Nets, Petri Nets: central models and their properties. Berlin Heidelberg: Springer; 1987. p. 248\u201399."},{"issue":"2","key":"1361_CR11","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1197\/jamia.M1637","volume":"12","author":"M Peleg","year":"2005","unstructured":"Peleg M, Rubin D, Altman RB. Using Petri Net tools to study properties and dynamics of biological systems. J Am Med Inform Assoc. 2005;12(2):181\u201399. Epub 2004 Nov 23.","journal-title":"J Am Med Inform Assoc"},{"issue":"4","key":"1361_CR12","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1093\/bib\/bbm029","volume":"8","author":"C Chaouiya","year":"2007","unstructured":"Chaouiya C. Petri Net modelling of biological networks. Brief Bioinform. 2007;8(4):210\u20139. doi: 10.1093\/bib\/bbm029 .","journal-title":"Brief Bioinform"},{"key":"1361_CR13","doi-asserted-by":"crossref","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 Bioinformatics. 2006;7:482.","journal-title":"BMC Bioinformatics"},{"key":"1361_CR14","first-page":"0023","volume":"4","author":"A Doi","year":"2004","unstructured":"Doi A, Fujita S, Matsuno H, Nagasaki M, Miyano S. Constructing biological pathway models with hybrid functional Petri Nets. In Silico Biol. 2004;4:0023.","journal-title":"In Silico Biol"},{"key":"1361_CR15","doi-asserted-by":"publisher","unstructured":"Ruths D, Muller M, Tseng J-T, Nakhleh L, Ram PT. The signaling Petri Net-based simulator: a non-parametric strategy for characterizing the dynamics of cell-specific signaling networks. PLoS Comp Biol. 2008. doi: 10.1371\/journal.pcbi.1000005 .","DOI":"10.1371\/journal.pcbi.1000005"},{"issue":"2","key":"1361_CR16","doi-asserted-by":"crossref","first-page":"112","DOI":"10.1016\/j.ymben.2005.10.001","volume":"8","author":"D-Y Lee","year":"2006","unstructured":"Lee D-Y, Zimmer R, Lee SY, Park S. Colored Petri Net modeling and simulation of signal transduction pathways. Metab Eng. 2006;8(2):112\u201322.","journal-title":"Metab Eng"},{"issue":"Supp6","key":"1361_CR17","doi-asserted-by":"crossref","first-page":"S11","DOI":"10.1186\/1471-2105-14-S6-S11","volume":"14","author":"F Cordero","year":"2013","unstructured":"Cordero F, Beccuti M, Fornari C, Lanzardo S, Conti L, Cavallo F, Balbo G, Calogero R. Multi-level model for the investigation of oncoantigen-driven vaccination effect. BMC Bioinformatics. 2013;14(Supp6):S11.","journal-title":"BMC Bioinformatics"},{"issue":"Suppl 7","key":"1361_CR18","doi-asserted-by":"crossref","first-page":"S2","DOI":"10.1186\/1471-2105-14-S7-S2","volume":"14","author":"M Carrara","year":"2013","unstructured":"Carrara M, Beccuti M, Cavallo F, Donatelli S, Lazzarato F, Cordero F, Calogero RA. State of art fusion-finder algorithms are suitable to detect Transcription-Induced Chimeras in normal tissues? BMC Bioinformatics. 2013;14 Suppl 7:S2.","journal-title":"BMC Bioinformatics"},{"key":"1361_CR19","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1007\/11731177_35","volume":"3931","author":"I Park","year":"2006","unstructured":"Park I, Na D, Lee D, Lee KH. Fuzzy continuous Petri Net-based approach for modeling immune systems. Lect Notes Comput Sci. 2006;3931:278\u201385.","journal-title":"Lect Notes Comput Sci"},{"issue":"7","key":"1361_CR20","doi-asserted-by":"crossref","first-page":"974","DOI":"10.1093\/bioinformatics\/btq050","volume":"26","author":"C Rohr","year":"2010","unstructured":"Rohr C, Marwan W, Heiner M. Snoopy - A unifying Petri Net framework to investigate biomolecular networks. Bioinformatics. 2010;26(7):974\u20135.","journal-title":"Bioinformatics"},{"key":"1361_CR21","first-page":"398","volume-title":"Proc. PETRI NETS","author":"M Heiner","year":"2012","unstructured":"Heiner M, Herajy M, Liu F, Rohr C, Schwarick M. Snoopy \u2013 a unifying Petri Net tool. In: Proc. PETRI NETS, vol. 7347. Hamburg: Springer, LNCS; 2012. p. 398\u2013407."},{"key":"1361_CR22","unstructured":"Liu F, Heiner M. Colored Petri Nets to model and simulate biological systems. In: Donatelli S, Kleijn J, Machado RJ, Fernandes JM, editors. Recent advances in Petri Nets and concurrency, vol. 827. Braga: CEUR Workshop Proceedings; 2012. p. 71\u201385. ISSN 1613\u20130073."},{"issue":"5","key":"1361_CR23","doi-asserted-by":"publisher","first-page":"11","DOI":"10.14257\/ijhit.2013.6.5.02","volume":"6","author":"F Liu","year":"2013","unstructured":"Liu F, Heiner M. Colored stochastic Petri Nets for modeling complex biological systems. Int J Hybrid Inf Technol. 2013;6(5):11\u201324. doi: 10.14257\/ijhit.2013.6.5.02 .","journal-title":"Int J Hybrid Inf Technol"},{"issue":"1","key":"1361_CR24","first-page":"23","volume":"58","author":"M Beccuti","year":"2015","unstructured":"Beccuti M, Fornari C, Franceschinis G, Halawani SM, Barukab O, Ahmad A, Balbo G. From symmetric nets to differential equations exploiting model symmetries. Comp J Oxford University Press. 2015;58(1):23\u201339.","journal-title":"Comp J Oxford University Press"},{"key":"1361_CR25","series-title":"Proceedings of Winter Simulation Conference","first-page":"296","volume-title":"Efficient simulation of stochastic well-formed nets through symmetry exploitation","author":"M Beccuti","year":"2012","unstructured":"Beccuti M, Franceschinis G. Efficient simulation of stochastic well-formed nets through symmetry exploitation, Proceedings of Winter Simulation Conference. Berlin: WSC\u201912; 2012. p. 296."},{"key":"1361_CR26","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1016\/j.compbiomed.2014.07.004","volume":"53","author":"F Liu","year":"2014","unstructured":"Liu F, Bl\u00e4tke MA, Heiner M, Yang M. Modelling and simulating reaction\u2013diffusion systems using coloured Petri Nets. Comput Biol Med. 2014;53:297\u2013308.","journal-title":"Comput Biol Med"},{"issue":"SUPPL 17","key":"1361_CR27","doi-asserted-by":"crossref","first-page":"S21","DOI":"10.1186\/1471-2105-13-S17-S21","volume":"13","author":"C Bianca","year":"2012","unstructured":"Bianca C, Chiacchio F, Pappalardo F, Pennisi M. Mathematical modeling of the immune system recognition to mammary carcinoma antigen. BMC Bioinformatics. 2012;13 SUPPL 17:S21.","journal-title":"BMC Bioinformatics"},{"issue":"Suppl 7","key":"1361_CR28","doi-asserted-by":"crossref","first-page":"S13","DOI":"10.1186\/1471-2105-11-S7-S13","volume":"11","author":"M Pennisi","year":"2010","unstructured":"Pennisi M, Pappalardo M, Palladini A, Nicoletti G, Nanni P, Lollini P-L, Motta S. Modeling the competition between lung metastases and the immune system using agents. BMC Bioinformatics. 2010;11 Suppl 7:S13.","journal-title":"BMC Bioinformatics"},{"issue":"10","key":"1361_CR29","doi-asserted-by":"crossref","first-page":"e26523","DOI":"10.1371\/journal.pone.0026523","volume":"6","author":"F Pappalardo","year":"2011","unstructured":"Pappalardo F, Forero IM, Pennisi M, Palazon A, Melero I, Motta S. SimB16: modeling induced immune system response against B16-melanoma. PLoS One. 2011;6(10):e26523.","journal-title":"PLoS One"},{"key":"1361_CR30","first-page":"386","volume":"5755","author":"F Pappalardo","year":"2009","unstructured":"Pappalardo F, Cincotti A, Motta S, Pennisi M. Agent based modeling of atherosclerosis: a concrete help in personalized treatments. Lect NotesArtif Intell. 2009;5755:386\u201396.","journal-title":"Lect NotesArtif Intell"},{"key":"1361_CR31","doi-asserted-by":"publisher","unstructured":"Pappalardo F, Fichera E, Paparone N, Lombardo A, Pennisi M, Russo G, Leotta M, Pappalardo F, Pedretti A, De Fiore F, Motta S. A computational model to predict the immune system activation by citrus derived vaccine adjuvants. Bioinformatics. doi: 10.1093\/bioinformatics\/btw293","DOI":"10.1093\/bioinformatics\/btw293"}],"container-title":["BMC Bioinformatics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/s12859-016-1361-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,16]],"date-time":"2019-09-16T17:07:16Z","timestamp":1568653636000},"score":1,"resource":{"primary":{"URL":"http:\/\/bmcbioinformatics.biomedcentral.com\/articles\/10.1186\/s12859-016-1361-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12]]},"references-count":31,"journal-issue":{"issue":"S19","published-print":{"date-parts":[[2016,12]]}},"alternative-id":["1361"],"URL":"https:\/\/doi.org\/10.1186\/s12859-016-1361-6","relation":{},"ISSN":["1471-2105"],"issn-type":[{"value":"1471-2105","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,12]]},"article-number":"498"}}