Functorial semantics for Petri nets under the individual token philosophy (1999)

by R Bruni, J Meseguer, U Montanari, V Sassone
Venue:In Proceedings of CTCS, volume 99. Citeseer