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:

bullet

Temporal information (duration) is associated with places.
bullet

Sequential and Equal operators.
bullet

The Company part of our example can be expressed in OCPN as shown in Figure 7.
bullet

The synchronization between Name and Geography is not lost (Delay2 in Figure 7).

 

Expressive Power:

bullet

Equal operator implies a static checking of operands duration and thus, do not handle unpredictable objects.

Authoring Capabilities:

bullet

The need of explicit delay definitions.
bullet

Miss author's skills and straightforward design.
bullet

If the author changes the duration of History from 60 s to 30 s, other durations must be manually updated (Delay1 in the figure).