{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T19:41:53Z","timestamp":1726083713881},"publisher-location":"Cham","reference-count":36,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030469696"},{"type":"electronic","value":"9783030469702"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-46970-2_12","type":"book-chapter","created":{"date-parts":[[2020,5,5]],"date-time":"2020-05-05T21:07:42Z","timestamp":1588712862000},"page":"242-264","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Analysis of Discrete Models for Ecosystem Ecology"],"prefix":"10.1007","author":[{"given":"Cinzia","family":"Di Giusto","sequence":"first","affiliation":[]},{"given":"C\u00e9dric","family":"Gaucherel","sequence":"additional","affiliation":[]},{"given":"Hanna","family":"Klaudel","sequence":"additional","affiliation":[]},{"given":"Franck","family":"Pommereau","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,5,6]]},"reference":[{"key":"12_CR1","unstructured":"Agnihotri, K., Sharma, N.: Developments in ecological modeling based on cellular automata. Innov. Syst. Des. Eng. 6, 75\u201378 (2015)"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Bae, J., Liu, L., Caverlee, J., Rouse, W.B.: Process mining, discovery, and integration using distance measures. In: 2006 IEEE International Conference on Web Services (ICWS 2006), pp. 479\u2013488, September 2006","DOI":"10.1109\/ICWS.2006.105"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Baldan, P., Bocci, M., Cocco, N., Simeoni, M.: Comparing metabolic pathways through potential fluxes: a selective opening approach. In: BioPPN@Petri Nets (2013)","DOI":"10.1007\/978-3-642-40465-8_1"},{"key":"12_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-40465-8","volume":"8","author":"P Baldan","year":"2013","unstructured":"Baldan, P., Cocco, N., Giummol\u00e8, F., Simeoni, M.: Comparing metabolic pathways through reactions and potential fluxes. Trans. Petri Nets Other Models Concurr. 8, 1\u201323 (2013). \nhttps:\/\/doi.org\/10.1007\/978-3-642-40465-8","journal-title":"Trans. Petri Nets Other Models Concurr."},{"issue":"4","key":"12_CR5","doi-asserted-by":"publisher","first-page":"955","DOI":"10.1007\/s11047-010-9180-6","volume":"9","author":"P Baldan","year":"2010","unstructured":"Baldan, P., Cocco, N., Marin, A., Simeoni, M.: Petri nets for modelling metabolic pathways: a survey. Nat. Comput. 9(4), 955\u2013989 (2010)","journal-title":"Nat. Comput."},{"key":"12_CR6","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/11599128_10","volume":"3737","author":"L Cardelli","year":"2005","unstructured":"Cardelli, L.: Abstract machines of systems biology. Trans. Comput. Syst. Biol. 3737, 145\u2013168 (2005)","journal-title":"Trans. Comput. Syst. Biol."},{"issue":"1","key":"12_CR7","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/j.tcs.2004.03.065","volume":"325","author":"V Danos","year":"2004","unstructured":"Danos, V., Laneve, C.: Formal molecular biology. TCS 325(1), 69\u2013110 (2004)","journal-title":"TCS"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"Delaplace, F., Di Giusto, C., Giavitto, J., Klaudel, H.: Activity networks with delays an application to toxicity analysis. Fundamenta Informaticae (2018, to appear)","DOI":"10.3233\/FI-2018-1677"},{"key":"12_CR9","doi-asserted-by":"publisher","unstructured":"Di Giusto, C., Gaucherel, C., Klaudel, H., Pommereau, F.: Pattern matching in discrete models for ecosystem ecology. In: Maria, E.D., Fred, A.L.N., Gamboa, H. (eds.) Proceedings of the 12th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2019), BIOINFORMATICS, Prague, Czech Republic, 22\u201324 February 2019, vol. 3, pp. 101\u2013111. SciTePress (2019). \nhttps:\/\/doi.org\/10.5220\/0007485801010111","DOI":"10.5220\/0007485801010111"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Dijkman, R., Dumas, M., van Dongen, B., K\u00e4\u00e4rik, R., Mendling, J.: Similarity of business process models: metrics and evaluation. Inf. Syst. 36(2), 498\u2013516 (2011). \nhttp:\/\/www.sciencedirect.com\/science\/article\/pii\/S0306437910001006\n\n, Special Issue: Semantic Integration of Data, Multimedia, and Services","DOI":"10.1016\/j.is.2010.09.006"},{"issue":"1\u20134","key":"12_CR11","first-page":"263","volume":"75","author":"A Ehrenfeucht","year":"2007","unstructured":"Ehrenfeucht, A., Rozenberg, G.: Reaction systems. Fund. Inform. 75(1\u20134), 263\u2013280 (2007)","journal-title":"Fund. Inform."},{"key":"12_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-49612-0","volume-title":"Ontology Matching","author":"J Euzenat","year":"2007","unstructured":"Euzenat, J., Shvaiko, P.: Ontology Matching. Springer, Heidelberg (2007). \nhttps:\/\/doi.org\/10.1007\/978-3-540-49612-0"},{"key":"12_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/978-3-540-68894-5_3","volume-title":"Formal Methods for Computational Systems Biology","author":"F Fages","year":"2008","unstructured":"Fages, F., Soliman, S.: Formal cell biology in biocham. In: Bernardo, M., Degano, P., Zavattaro, G. (eds.) SFM 2008. LNCS, vol. 5016, pp. 54\u201380. Springer, Heidelberg (2008). \nhttps:\/\/doi.org\/10.1007\/978-3-540-68894-5_3\n\n. \nhttp:\/\/dl.acm.org\/citation.cfm?id=1786698.1786702"},{"key":"12_CR14","doi-asserted-by":"publisher","first-page":"531","DOI":"10.1016\/j.ecolmodel.2005.08.035","volume":"193","author":"C Gaucherel","year":"2006","unstructured":"Gaucherel, C.: Influence of spatial patterns on ecological applications of extremal principles. Ecol. Model. 193, 531\u2013542 (2006). \nhttps:\/\/doi.org\/10.1016\/j.ecolmodel.2005.08.035","journal-title":"Ecol. Model."},{"key":"12_CR15","doi-asserted-by":"publisher","unstructured":"Gaucherel, C., Pommereau, F.: Using discrete systems to exhaustively characterize the dynamics of an integrated ecosystem. Methods Ecol. Evol. 1\u201313 (2019). \nhttps:\/\/doi.org\/10.1111\/2041-210X.13242","DOI":"10.1111\/2041-210X.13242"},{"key":"12_CR16","doi-asserted-by":"publisher","unstructured":"Gaucherel, C., Boudon, F., Houet, T., Castets, M., Godin, C.: Understanding patchy landscape dynamics: towards a landscape language. PLoS ONE 7(9), 16 (2012). \nhttps:\/\/doi.org\/10.1371\/journal.pone.0046064\n\n. \nhttps:\/\/halshs.archives-ouvertes.fr\/halshs-00750971","DOI":"10.1371\/journal.pone.0046064"},{"key":"12_CR17","unstructured":"Gaucherel, C., Houllier, F., Auclair, D., Houet, T.: Dynamic landscape modelling: the quest for a unifying theory. Living Rev. Landscape Res. 8(2), 5\u201331 (2014). \nhttps:\/\/hal.archives-ouvertes.fr\/hal-01211675"},{"key":"12_CR18","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1002\/cfg.363","volume":"5","author":"JL Giavitto","year":"2004","unstructured":"Giavitto, J.L., Malcolm, G., Michel, O.: Rewriting systems and the modelling of biological systems. Comp. Funct. Genomics 5, 95\u201399 (2004)","journal-title":"Comp. Funct. Genomics"},{"key":"12_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/3-540-51486-4_71","volume-title":"Mathematical Foundations of Computer Science 1989","author":"R van Glabbeek","year":"1989","unstructured":"van Glabbeek, R., Goltz, U.: Equivalence notions for concurrent systems and refinement of actions. In: Kreczmar, A., Mirkowska, G. (eds.) MFCS 1989. LNCS, vol. 379, pp. 237\u2013248. Springer, Heidelberg (1989). \nhttps:\/\/doi.org\/10.1007\/3-540-51486-4_71"},{"issue":"1","key":"12_CR20","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1186\/1471-2105-9-90","volume":"9","author":"E Grafahrend-Belau","year":"2008","unstructured":"Grafahrend-Belau, E., et al.: Modularization of biochemical networks based on classification of Petri net t-invariants. BMC Bioinform. 9(1), 90 (2008). \nhttps:\/\/doi.org\/10.1186\/1471-2105-9-90","journal-title":"BMC Bioinform."},{"issue":"1","key":"12_CR21","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1093\/bib\/bbw090","volume":"19","author":"R Henkel","year":"2018","unstructured":"Henkel, R., Hoehndorf, R., Kacprowski, T., Kn\u00fcpfer, C., Liebermeister, W., Waltemath, D.: Notions of similarity for systems biology models. Briefings Bioinform. 19(1), 77\u201388 (2018). \nhttps:\/\/doi.org\/10.1093\/bib\/bbw090","journal-title":"Briefings Bioinform."},{"key":"12_CR22","unstructured":"Le Berre, D., Parrain, A.: The Sat4j library, release 2.2. J. Satisfiability Boolean Model. Comput. 7, 59\u201364 (2010)"},{"key":"12_CR23","unstructured":"Lotka, A.J.: Elements of Physical Biology. Williams & Wilkins Company, Baltimore (1925). \nhttp:\/\/library.wur.nl\/WebQuery\/clc\/529141"},{"key":"12_CR24","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1038\/238413a0","volume":"238","author":"RM May","year":"1972","unstructured":"May, R.M.: Will a large complex system be stable? Nature 238, 413\u2013414 (1972). \nhttps:\/\/doi.org\/10.1038\/238413a0","journal-title":"Nature"},{"key":"12_CR25","unstructured":"Milo, R., Shen-Orr, S., Itzkovitz, S., Kashtan, N., Chklovskii, D., Alon, U.: Network motifs: simple building blocks of complex networks. Science 298(5594), 824\u2013827 (2002). \nhttp:\/\/science.sciencemag.org\/content\/298\/5594\/824"},{"key":"12_CR26","unstructured":"Mooiman, L.: Comparing stories with the use of Petri nets. Technical report, University of Amsterdam (2015)"},{"issue":"1","key":"12_CR27","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1142\/S0129054111007812","volume":"22","author":"A Paun","year":"2011","unstructured":"Paun, A., Paun, M., Rodr\u00edguez-Pat\u00f3n, A., Sidoroff, M.: P systems with proteins on membranes: a survey. Int. J. Found. Comput. Sci. 22(1), 39\u201353 (2011)","journal-title":"Int. J. Found. Comput. Sci."},{"key":"12_CR28","unstructured":"PB16: Pseudo-Boolean competition 2016. Satellite Event of SAT 2016 (2016). \nhttp:\/\/www.cril.univ-artois.fr\/PB16"},{"key":"12_CR29","unstructured":"Roussel, O., Manquinho, V.: Input\/output format and solver requirements for the competitions of pseudo-Boolean solvers (2012). \nhttp:\/\/www.cril.univ-artois.fr\/PB12\/format.pdf"},{"key":"12_CR30","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511792588","volume-title":"Introduction to Bisimulation and Coinduction","author":"D Sangiorgi","year":"2011","unstructured":"Sangiorgi, D.: Introduction to Bisimulation and Coinduction. Cambridge University Press, New York (2011)"},{"key":"12_CR31","unstructured":"SymPy development team: SymPy (2016). \nhttp:\/\/www.sympy.org"},{"key":"12_CR32","unstructured":"Terese: Term Rewriting Systems, Cambridge Tracts in Theoretical Computer Science, vol. 55. Cambridge University Press (2003)"},{"key":"12_CR33","doi-asserted-by":"publisher","first-page":"565","DOI":"10.1016\/0022-5193(73)90247-6","volume":"42","author":"R Thomas","year":"1973","unstructured":"Thomas, R.: Boolean formalisation of genetic control circuits. J. Theor. Biol. 42, 565\u2013583 (1973)","journal-title":"J. Theor. Biol."},{"issue":"4","key":"12_CR34","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1037\/0033-295X.84.4.327","volume":"84","author":"A Tversky","year":"1977","unstructured":"Tversky, A.: Features of similarity. Psychol. Rev. 84(4), 327\u2013352 (1977)","journal-title":"Psychol. Rev."},{"key":"12_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1007\/978-3-642-16934-2_27","volume-title":"On the Move to Meaningful Internet Systems: OTM 2010","author":"J Wang","year":"2010","unstructured":"Wang, J., He, T., Wen, L., Wu, N., ter Hofstede, A.H.M., Su, J.: A behavioral similarity measure between labeled Petri nets based on principal transition sequences. In: Meersman, R., Dillon, T., Herrero, P. (eds.) OTM 2010. LNCS, vol. 6426, pp. 394\u2013401. Springer, Heidelberg (2010). \nhttps:\/\/doi.org\/10.1007\/978-3-642-16934-2_27"},{"key":"12_CR36","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"514","DOI":"10.1007\/978-3-642-01112-2_52","volume-title":"Information Systems: Modeling, Development, and Integration","author":"L Xiao","year":"2009","unstructured":"Xiao, L., Zheng, L., Xiao, J., Huang, Y.: A graphical query language for querying Petri nets. In: Yang, J., Ginige, A., Mayr, H.C., Kutsche, R.-D. (eds.) UNISCON 2009. LNBIP, vol. 20, pp. 514\u2013525. Springer, Heidelberg (2009). \nhttps:\/\/doi.org\/10.1007\/978-3-642-01112-2_52"}],"container-title":["Communications in Computer and Information Science","Biomedical Engineering Systems and Technologies"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-46970-2_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,5]],"date-time":"2020-05-05T21:11:16Z","timestamp":1588713076000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-46970-2_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030469696","9783030469702"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-46970-2_12","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"6 May 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"BIOSTEC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Joint Conference on Biomedical Engineering Systems and Technologies","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Prague","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Czech Republic","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 February 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 February 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"biostec2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.biostec.org\/?y=2019","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"PRIMORIS","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"271","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"22","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"8% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}