Eric Badouel, Jules Chenou, Goulven Guillou. An Axiomatization of the Token Game Based on Petri Algebras. Fundamenta Informaticae, 77(3):187-215, 2007. [doi]
@article{BadouelCG07,
title = {An Axiomatization of the Token Game Based on Petri Algebras},
author = {Eric Badouel and Jules Chenou and Goulven Guillou},
year = {2007},
url = {http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=77&issue=3&spage=187},
tags = {rule-based, algebra},
researchr = {https://researchr.org/publication/BadouelCG07},
cites = {0},
citedby = {0},
journal = {Fundamenta Informaticae},
volume = {77},
number = {3},
pages = {187-215},
}