What is the abbreviation for Time petri net?

Looking for the shorthand of Time petri net or how to abbreviate it? We have 3 shorthands for Time petri net.