How to Insert Time Specification?
Time may be associated with Places (TPPN)
Tokens generated in an output place become available to fire a transition only after a delay has elapsed
The delay is an attribute of the place