基于Petri网的业务流程管理系统模型研究

摘要

Petri网是一个描述条件和任务之间关系的通用模型。在介绍Web服务和Petri网的基础上，结合电力行业某业务流程管理系统的实例，建立了一个基于Petri网的业务流程模型，在此基础上对简化后的Petri网进行死锁分析，以此作为业务流程建模的指导思想，可以提高业务流程系统的安全性、稳定性、健壮性。%Petri net is a common model of description of the relationship between the conditions and tasks. This paper describes Web services and Petri net based on the combination of a power industry process management system for a case, the establishment of a Petri net-based process models. Based on simplified Petri net, a deadlock analysis to this process modeling as the guiding ideology was given, which can improve business process system security, stability and robustness.