We present rules to fetch structures hierarchically. While TPN is converted to HTPN, physical reachability is verified.

• 在基于TPN的工作流模型中增加截止期限约束条件,并将各个路由结构按照给出的规则分层提取,得到只有顺序结构的HTPN模型。