How to Insert Time Specification?
Time may be associated with Arcs (TAPN)
TA traveling delay is associated with each arc
Tokens are available for firing only when they reach a transition