Timing petri nets categorically

Abstract

We establish a precise connection between the two distinct ways in which category theory has been applied to the study of Petri Nets. This connection relates morphisms between nets which consider only their static structure to morphisms on their purely dynamic behaviour, and is based on a CCS-like notion of simulation. We apply these results to the timing of Petri Nets.