Equilibrium and termination II: the case of Petri nets

DOI10.1017/S0960129512000126zbMath1271.68178MaRDI QIDQ4917190

Vincent Danos, Nicolas Oury

Publication date: 29 April 2013

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

equilibriumPetri netstermination

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Continuous-time Markov processes on discrete state spaces (60J27) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (3)

Stochastic transcription elongation via rule based modelling ⋮ Free Energy of Petri Nets ⋮ Cooperative Assembly Systems

Cites Work

• Unnamed Item
• Product-form stationary distributions for deficiency zero chemical reaction networks
• Differential equation approximations for Markov chains
• Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes.
• Formal molecular biology
• Parallel program schemata
• On the Statistical Thermodynamics of Reversible Communicating Processes
• Rule-Based Modelling, Symmetries, Refinements
• Rule-Based Modelling of Cellular Signalling
• Markov Chains
• Adhesive and quasiadhesive categories
• Abstract Interpretation of Cellular Signalling Networks

This page was built for publication: Equilibrium and termination II: the case of Petri nets