%0 Journal Article 
%F Badouel2006c
%A Badouel, Eric
%A Chenou, Jules
%A Guillou, Goulven
%T An axiomatization of the token game based on Petri algebras
%J Fundamenta Informaticae
%V 76
%P 1-30
%D 2006
%K nets