A new definition of morphism on Petri nets, in (1984)

by G Winskel
Venue:of LNCS