A categorical linear framework for Petri nets, in (1990)

by C Brown, D Gum
Venue:Proc. 5th LZCS Symp. (IEEE Computer Sot. Press, Los Alamitos