论文部分内容阅读
Petri网是一个描述条件和任务之间关系的通用模型。在介绍Web服务和Petri网的基础上，结合电力行业某业务流程管理系统的实例，建立了一个基于Petri网的业务流程模型，在此基础上对简化后的Petri网进行死锁分析，以此作为业务流程建模的指导思想，可以提高业务流程系统的安全性、稳定性、健壮性。