A New Definition of Morphism on Petri Nets (1984)

by G Winskel
Venue:STACS ’84: Proceedings of the Symposium of Theoretical Aspects of Computer Science