How to Insert Time Specification?

Time may be associated with Tokens (TKPN)

Tokens carry a time stamp that indicates when they are available to fire a transition