论文部分内容阅读
在工作流建模研究中，Petri网是一类重要工具。对于跨机构的商务工作流来说，用基本Petri网建模往往会因为图幅规模过大和细节过多而使得其可读性下降。该文提出了一种活动／层次网(A／H—Nets)模型，并给出了建模过程和应用示例。模型通过引入复合位置和子网转移及过程转移的概念，来满足Petri网在不同层次上建模的需求。为了保证层次之间的一致性，文中给出了层次建模必须的子网(过程)替换规则。