Abstract
The eden framework provides formal modelling and analysis tools to study ecosystems. At the heart of the framework is the reaction rules (rr) modelling language, that is equipped with an operational semantics and can be translated into Petri nets with equivalent semantics. In this paper, we formally define the rr language and its semantics, detailing the initial definition from [8] and extending it with a notion of constraints that allows to model mandatory events. Then, we consider in turn two classes of Petri nets: priority Petri nets (ppn), which are safe place/transition Petri nets equipped with transitions priorities, and extended Petri nets (epn) which are ppn further extended with read arcs, inhibitor arcs, and reset arcs. For each of these classes, we define the translation of an rr system into a Petri net and prove that the state-space generated with the rr operational semantics is equivalent to the marking graph of the Petri net resulting from the translation. We use a very strong notion of equivalence by considering labelled transition systems (lts) isomophism with states and labels matching.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
We did not find its formal definition and proof of correctness in the literature.
References
Berthomieu, B., Ribet, P.O., Vernadat, F.: The tool TINA-construction of abstract state spaces for Petri nets and time Petri nets. Int. J. Prod. Res. 42(14), 2741–2756 (2004)
Chatain, T., Haar, S., Kolčák, J., Paulevé, L., Thakkar, A.: Concurrency in Boolean networks. Nat. Comput. 19(1), 91–109 (2019). https://doi.org/10.1007/s11047-019-09748-4
Chatain, T., Haar, S., Paulevé, L.: Boolean networks: beyond generalized asynchronicity. In: Baetens, J.M., Kutrib, M. (eds.) AUTOMATA 2018. LNCS, vol. 10875, pp. 29–42. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-92675-9_3
Cosme, M., et al.: Qualitative modeling for bridging expert-knowledge and social-ecological dynamics of an east African savanna. Land 11(1), 42 (2022). https://doi.org/10.3390/land11010042
Di Giusto, C., Gaucherel, C., Klaudel, H., Pommereau, F.: Analysis of discrete models for ecosystem ecology. In: Roque, A., et al. (eds.) BIOSTEC 2019. CCIS, vol. 1211, pp. 242–264. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-46970-2_12
Gaucherel, C., Carpentier, C., Geijzendorffer, I., Noûs, C., Pommereau, F.: Discrete-event models for conservation assessment of integrated ecosystems. Ecol. Inform. 61 (2021). https://doi.org/10.1016/j.ecoinf.2020.101205
Gaucherel, C., Pommereau, F., Hély, C.: Understanding ecosystem complexity via application of a process-based state space rather than a potential surface. Complexity 2020 (2020). https://doi.org/10.1155/2020/7163920
Gaucherel, C., Pommereau, F.: Using discrete systems to exhaustively characterize the dynamics of an integrated ecosystem. Methods Ecol. Evol. 10(9), 1615–1627 (2019)
Liao, C.: Complexity in the open grazing system: rangeland ecology, pastoral mobility and ethnobotanical knowledge in Borana, Ethiopia. Ph.D. thesis, Cornell University (2016)
Mandon, H., Su, C., Haar, S., Pang, J., Paulevé, L.: Sequential reprogramming of Boolean networks made practical. In: Bortolussi, L., Sanguinetti, G. (eds.) CMSB 2019. LNCS, vol. 11773, pp. 3–19. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-31304-3_1
Mandon, H., Su, C., Pang, J., Paul, S., Haar, S., Paulevé, L.: Algorithms for the sequential reprogramming of Boolean networks. IEEE/ACM Trans. Comput. Biol. Bioinform. 16(5), 1610–1619 (2019)
Mao, Z., Centanni, J., Pommereau, F., Stokes, A., Gaucherel, C.: Maintaining biodiversity promotes the multifunctionality of social-ecological systems: holistic modelling of a mountain system. Ecosystem Serv. 47 (2021). https://doi.org/10.1016/j.ecoser.2020.101220
McMillan, K.L., Probst, D.K.: A technique of state space search based on unfolding. Formal Methods Syst. Des. 6(1), 45–65 (1995)
Naldi, A., et al.: Cooperative development of logical modelling standards and tools with CoLoMoTo. Bioinformatics 31(7) (2015). https://doi.org/10.1093/bioinformatics/btv013
Pommereau, F.: SNAKES: a flexible high-level petri nets library (tool paper). In: Devillers, R., Valmari, A. (eds.) PETRI NETS 2015. LNCS, vol. 9115, pp. 254–265. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-19488-2_13
Rykiel, E.J.: Artificial intelligence and expert systems in ecology and natural resource management. Ecol. Model. 46(1) (1989). https://doi.org/10.1016/0304-3800(89)90066-5
Starfield, A.M.: Qualitative, rule-based modeling. BioScience 40(8) (1990). https://doi.org/10.2307/1311300
Thierry-Mieg, Y.: Homepage of ITS-tools. http://lip6.github.io/ITSTools-web
Thierry-Mieg, Y.: From symbolic verification to domain specific languages. Habilitation thesis, UPMC (2016)
Thomas, C.: Model checking applied to discrete models of ecosystems. Master’s thesis, ENS Paris-Saclay (2019)
Thomas, R.: Boolean formalization of genetic control circuits. J. Theor. Biol. 42(3) (1973). https://doi.org/10.1016/0022-5193(73)90247-6
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 Springer Nature Switzerland AG
About this paper
Cite this paper
Pommereau, F., Thomas, C., Gaucherel, C. (2022). Petri Nets Semantics of Reaction Rules (RR). In: Bernardinello, L., Petrucci, L. (eds) Application and Theory of Petri Nets and Concurrency. PETRI NETS 2022. Lecture Notes in Computer Science, vol 13288. Springer, Cham. https://doi.org/10.1007/978-3-031-06653-5_10
Download citation
DOI: https://doi.org/10.1007/978-3-031-06653-5_10
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-06652-8
Online ISBN: 978-3-031-06653-5
eBook Packages: Computer ScienceComputer Science (R0)