基于Petri网的电子政务动态流程建模

作者：文静华; 张梅; 李祥流程建模petri网模型电子政务系统业务流程行政部门离散系统动态特征扩展模型成功开发电话系统严谨性直观性图形化并发性正确性建摸

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

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社