Petri net becomes the extended Petri net (EPN) by introducing the extended description of timed places and tokens.

• 通过导入“时间Place”和“象征”的附加描述,使Petri网成为扩充的Petri网(EPN);