An Axiomatization of the Token Game Based on Petri Algebras

Eric Badouel, Jules Chenou, Goulven Guillou. An Axiomatization of the Token Game Based on Petri Algebras. Fundamenta Informaticae, 77(3):187-215, 2007. [doi]

Abstract

Abstract is missing.