Refinement and Simulation of Nets - A Categorical Characterisation. - Carolyn Brown; Doug Gurr (Application and Theory of Petri Nets, 1992)

Timing Petri Nets Categorically. - Carolyn Brown; Doug Gurr (ICALP, 1992)

Temporal Logic and Categories of Petrie Nets. - Carolyn Brown; Doug Gurr (ICALP, 1993)

A Categorical Linear Framework for Petri Nets. - Carolyn Brown; Doug Gurr (Inf. Comput., 1995)