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

equilibrium; Petri nets; termination

Mathematics Subject Classification ID

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

60J27: Continuous-time Markov processes on discrete state spaces

68Q87: Probability in computer science (algorithm analysis, random structures, phase transitions, etc.)

Related Items

Free Energy of Petri Nets, Stochastic transcription elongation via rule based modelling, 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