Roberto Bruni José Meseguer Ugo Montanari Vladimiro Sassone Functorial Models for Petri Nets. 207-236 2001 170 Inf. Comput. 2 http://dx.doi.org/10.1006/inco.2001.3050 db/journals/iandc/iandc170.html#BruniMMS01