基于Petri网的工作流逻辑化简规则的矩阵表示  

Reducing of Workflow Logic Net Based on Petri Nets by Using Matrix

作　　者：孟永刚[1] 宋文[1] 叶剑虹[1] 

机构地区：[1]西华大学数学与计算机科学技术学院

出　　处：《微计算机信息》2006年第07X期49-51,149,共4页Control & Automation

基　　金：四川省科技厅应用基础课题(03226125)

摘　　要：Petri网是一种很有效的模型描述语言,尤其适合描述工作流。给出了基于Petri网的工作流逻辑(WF_logic)化简规则,这里则借助矩阵及矩阵运算或矩阵上的初等变换来实现这些化简规则,进而用一个具体的实例进行了验证。Petri net is an effective description language for model, especially for describing the workflow, gives reducing rules of workflow logic net that based on Petri nets. In this paper, these rules are realized by using matrix and matrix computing and are verified by a concrete example.

关 键 词：PETRI网 工作流 化简规则 WL_net WF_logic 

分 类 号：TP301.2[自动化与计算机技术—计算机系统结构]