%0 Journal Article 
%F BadouelCG07
%A Badouel, Eric
%A Chenou, Jules
%A Guillou, Goulven
%T An Axiomatization of the Token Game Based on Petri Algebras
%J Fundamenta Informaticae
%V 77
%N 3
%P 187-215
%D 2007