基于Petri网工作流模型的复合事件检测的分析和分解  

Analysis and Decomposition of Composite Events Detection Based on the Petri Net Workflow Model

作　　者：王宇[1,2] 李磊[3] 

机构地区：[1]国防科技大学电子科学与工程学院 [2]中国科学院软件研究所,北京100080 [3]中国科学院软件研究所

出　　处：《计算机工程与科学》2006年第7期95-97,共3页Computer Engineering & Science

基　　金：国家863计划资助项目(2002AA113040)

摘　　要：本文介绍了一种应用Petri网技术对工作流进行建模的方法。该方法将工作流的执行方式从检测事件-触发转变为检测状态-触发,并且采用分层分块的策略对Petri网工作流模型中的复合事件进行分解,将复杂的逻辑关系判断简化为简单的状态判断,有利于工程上的理解和实现。The paper presents a way of applying Petri Net techniques to workflow modeling. The method transforms the execution manner from event-detected action to status-detected action,adopts a strategy of hierarchical block partitioning to decompose the composite events in Petri net workflow models, and simplifies complex logical relationship judgements into simple status judgements, which is conducive to the understanding and implementation in engineering.

关 键 词：工作流 PETRI网 库所 变迁 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]