| 基于Petri网的工作流逻辑化简规则的矩阵表示 |
| |
| 引用本文： | 孟永刚,宋文,叶剑虹. 基于Petri网的工作流逻辑化简规则的矩阵表示[J]. 微计算机信息, 2006, 22(21): 49-51 |
| |
| 作者姓名： | 孟永刚 宋文 叶剑虹 |
| |
| 作者单位： | 610039,四川,成都,西华大学,数学与计算机科学技术学院 |
| |
| 摘 要： | Petri网是一种很有效的模型描述语言,尤其适合描述工作流。给出了基于Petri网的工作流逻辑(WF_logic)化简规则,这里则借助矩阵及矩阵运算或矩阵上的初等变换来实现这些化简规则,进而用一个具体的实例进行了验证。
|
| 关 键 词： | Petri网 工作流 化简规则 |
| 文章编号： | 1008-0570(2006)07-3-0049-03 |
| 修稿时间： | 2005-12-23 |
Reducing of Workflow Logic Net Based on Petri Nets by Using Matrix |
| |
| Meng,Yonggang,Song,Wen,Ye,Jianhong. Reducing of Workflow Logic Net Based on Petri Nets by Using Matrix[J]. Control & Automation, 2006, 22(21): 49-51 |
| |
| Authors: | Meng Yonggang Song Wen Ye Jianhong |
| |
| Abstract: | |
| |
| Keywords: | WL_net WF_logic |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
