Carolyn Brown Doug Gurr Refinement and Simulation of Nets - A Categorical Characterisation. 76-92 1992 conf/apn/1992 Application and Theory of Petri Nets db/conf/apn/apn92.html#BrownG92 http://dx.doi.org/10.1007/3-540-55676-1_5