In this paper, a new temporal model , hierarchically timed petri net (HTPN), is proposed through incorporating the deadline constraints into TPN.

• 对活动增加截止期限的约束条件并验证可达情况,是人们在实际应用中对工作流系统提出的新要求。 本文提出了一种基于层次时间petri网的工作流模型。