A new temporal workflow model based on Hierarchically Timed Petri Net(HTPN) was proposed to implement the analysis and verification of Timed Petri Net(TPN) workflow model. The rules and algorithm of transforming TPN model into HTPN model were given.

• 为此,提出了一种基于层次时间Petri网的工作流模型,给出了从时间Petri网工作流模型转化成基于层次时间Petri网工作流模型的规则及算法。