Petri nets semantics of reaction rules (RR). A language for ecosystems modelling

DOI10.1007/978-3-031-06653-5_10OpenAlexW4285307335MaRDI QIDQ2165237

Franck Pommereau, Cédric Gaucherel, Colin Thomas

Publication date: 19 August 2022

Full work available at URL: https://doi.org/10.1007/978-3-031-06653-5_10

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Ecology (92D40)

Related Items (1)

Unnamed Item

Uses Software

• TINA
• SNAKES
• ITS-Tools

Cites Work

• A technique of state space search based on unfolding
• Boolean networks: beyond generalized asynchronicity
• Sequential reprogramming of Boolean networks made practical
• SNAKES: A Flexible High-Level Petri Nets Library (Tool Paper)
• The tool TINA – Construction of abstract state spaces for petri nets and time petri nets
• Concurrency in Boolean networks

This page was built for publication: Petri nets semantics of reaction rules (RR). A language for ecosystems modelling