Résumé
The eden framework provides tools for the formal modelling and analysis of social-ecological systems and their dynamics. In particular, it features the rr modelling language (for reaction rules) that allows defining systems as Boolean variables and guarded actions to update them. This language is equipped with a compact semantics in terms of Petri nets extended with read-arcs, inhibitor arcs, reset arcs, and transition priorities. Apart from the last one, these extensions can be implemented in standard Petri nets at the price of building bigger nets. In this paper, we extend the rr language with multivalued variables, spatial information inspired by membrane computing, and timing. The resulting language, called mrr (for multivalued rr), is equipped with a compact colored Petri nets semantics extended with only transition priorities. © 2024 Copyright for this paper by its authors.