Petri nets are monoids (1990)

by J Meseguer, U Montanari
Venue:Information and Computation