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

DOI10.1007/978-3-031-06653-5_10MaRDI QIDQ2165237zbMATH OpenOpenAlexFDO

Authors Franck Pommereau, Colin Thomas, Cédric Gaucherel

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)

Recommendations

• Petri Nets for Modelling and Analysing Trophic Networks
• A Petri net model for membrane systems with dynamic structure
• Petri nets for biologically motivated computing
• A Petri-net-based framework for biomodel engineering
• Membrane Computing

Cites work

• A technique of state space search based on unfolding
• Boolean networks: beyond generalized asynchronicity
• Concurrency in Boolean networks
• 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

Cited in

(1)

• Avoid one's doom: finding cliff-edge configurations in Petri nets

Describes a project that uses

Uses Software

• ITS-Tools
• TINA
• SNAKES

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2165237)