In: Real-Time Systems, Vol. 3, No. 2, pages 165-189. May 1991.
Abstract: This paper investigates the relationship between high-level nets and timed Petri nets. It first recalls how time can be represented in a Petri net extension called ER nets. It then investigates the relationship of ER nets with high-level nets. In particular it shows the overall equivalence of ER nets, colored Petri nets and predicate transition nets, and extends the mechanism for time representation introduced in ER nets to both colored Petri nets and predicate transition nets. It also shows that these models cannot be simplified without significantly constraining the timing aspects that can be modeled.
Keywords: timed high-level net; environment/relationship net; predicate/transition net; coloured net.