A Multivalued, Spatialized, and Timed Modelling Language for Social-Ecological Systems - Université d'Évry
Communication Dans Un Congrès Année : 2024

A Multivalued, Spatialized, and Timed Modelling Language for Social-Ecological Systems

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.
Fichier principal
Vignette du fichier
Pommereau_&_&Gaucherel_Worshop_PNSE_Geneve_2024.pdf (1.19 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-04667502 , version 1 (05-08-2024)

Licence

Identifiants

  • HAL Id : hal-04667502 , version 1

Citer

Franck Pommereau, Cédric Gaucherel. A Multivalued, Spatialized, and Timed Modelling Language for Social-Ecological Systems. International Workshop on Petri Nets and Software Engineering (PNSE 2024), Jun 2024, Genève, Switzerland. pp.13--32. ⟨hal-04667502⟩
69 Consultations
5 Téléchargements

Partager

More