Petri-net Structure
Objects are modeled by places, temporal information is either associated with places or with arcs and transitions are labeled with temporal operators.
OCPN:
Temporal information (duration) is associated with places.
Sequential and Equal operators.
The Company part of our example can be expressed in OCPN as shown in Figure 7.
The synchronization between Name and Geography is not lost (Delay2 in Figure 7).
Expressive Power:
Equal operator implies a static checking of operands duration and thus, do not handle unpredictable objects.
Authoring Capabilities:
The need of explicit delay definitions.
Miss author's skills and straightforward design.
If the author changes the duration of History from 60 s to 30 s, other durations must be manually updated (Delay1 in the figure).
