Petri nets are monoids (1990)

by José Meseguer, Ugo Montanari
Venue:Information and Computation