How to Insert Time Specification?
Time may be associated with Transitions (TTPN)
Transitions represent activities:
Activity
Start
corresponds to
Transition Enabling
Activity
End
corresponds to
Transition Firing
