scientific article; zbMATH DE number 7802079

zbMath1530.68189arXiv2209.10323MaRDI QIDQ6191021

Stefan Schwoon, Unnamed Author, Loïc Paulevé, Stefan Haar, Nick Würdemann

Publication date: 8 February 2024

Full work available at URL: https://arxiv.org/abs/2209.10323

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Control of multistability
• Control of safe ordinary Petri nets using unfolding
• Dynamical behaviour of biological regulatory networks. II: Immunity control in bacteriophage lambda
• An improvement of McMillan's unfolding algorithm
• Positive and negative cycles in Boolean networks
• Drawing the line: basin boundaries in safe Petri nets
• Petri nets semantics of reaction rules (RR). A language for ecosystems modelling
• Unfoldings: A partial-order approach to model checking.
• True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures
• Supervisory control of concurrent systems. A Petri net structural approach.
• Concurrency in Boolean networks

This page was built for publication: