A Multivalued, Spatialized, and Timed Modelling Language for Social-Ecological Systems
F Pommereau, C Gaucherel - International Workshop on Petri …, 2024 - univ-evry.hal.science
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 …
ecological systems and their dynamics. In particular, it features the rr modelling language …
On the expressive power of transfinite sequences for continuous petri nets
Abstract Continuous Petri nets (CPNs) form a model of (uncountably infinite) dynamic
systems that has been successfully explored for modelling and theoretical purposes. Here …
systems that has been successfully explored for modelling and theoretical purposes. Here …
Modéliser des scénarios Natech par le dépliage des réseaux de Petri
F Souhila, C Corinne, H Stefan, G Cédric… - Lambda Mu 24 …, 2024 - inria.hal.science
Le multirisque peut être défini comme un système complexe composé de différents aléas
(naturels et/ou technologiques), qui peuvent agir en combinaison-avec ou sans coïncidence …
(naturels et/ou technologiques), qui peuvent agir en combinaison-avec ou sans coïncidence …