Equilibrium and termination II: the case of Petri nets

Vincent Danos, Nicolas Oury. Equilibrium and termination II: the case of Petri nets. Mathematical Structures in Computer Science, 23(2):290-307, 2013. [doi]

Abstract

Abstract is missing.