%0 Journal Article 
%F Badouel2007b
%A Badouel, Eric
%A Chenou, Jules
%A Guillou, Gurvan
%T An axiomatization of the token game based on Petri algebras
%J Fundamenta Informaticae
%V 77
%N 3
%P 187-215
%D 2007
%K nets