Text this: Time and Petri Nets