ProductShipped
It is often useful to give a time stamp to the tokens in a place’s initial raarking. This is accomplished by appending a delay expression to the initial maridng region. For example: