Equilibrium and termination II: the case of Petri nets

Vincent Danos, Nicolas Oury

Research output: Contribution to journalArticlepeer-review

Abstract

This paper is concerned with the asymptotic properties of a restricted class of Petri nets equipped with stochastic mass-action semantics. We establish a simple algebraic criterion for the existence of an equilibrium, that is to say, an invariant probability that satisfies the detailed balance condition familiar from the thermodynamics of reaction networks. We also find that when such a probability exists, it can be described by a free energy function that combines an internal energy term and an entropy term. Under strong additional conditions, we show how the entropy term can be deconstructed using the finer-grained individual-token semantics of Petri nets.
Original languageEnglish
Pages (from-to)290-307
Number of pages18
JournalMathematical Structures in Computer Science
Volume23
DOIs
Publication statusPublished - 1 Apr 2013

Fingerprint Dive into the research topics of 'Equilibrium and termination II: the case of Petri nets'. Together they form a unique fingerprint.

Cite this