论文部分内容阅读
Petri网具有图形化的直观性和数学的严谨性,非常适合进行复杂离散系统建摸.电子政务系统往往涉及行政部门多、业务流程复杂,一件业务通常有时限要求且涉及到的相关部门具有动态并发性.一些业务的流向具有并发和动态特征,用传统Petri网及其扩展模型难于描述.提出一种支持动态并发流程生成的动态Petri网模型DOPN,以适应具有动态复杂流程的电子政务系统建摸,并通过市长公开电话系统业务流程的成功开发验证了其正确性.