| 基于petri网系统规约的工作流建模验证 |
| |
| 引用本文： | 杨波涛,乔佩利.基于petri网系统规约的工作流建模验证[J].现代制造技术与装备,2006,23(1):58-60. |
| |
| 作者姓名： | 杨波涛 乔佩利 |
| |
| 作者单位： | 哈尔滨理工大学,计算机科学与技术学院,哈尔滨,150080 |
| |
| 摘 要： | 本文针对工作流过程建模的复杂性和易出错的状况，提出了基于Petri网系统规约的模型验证方法，提出了工作流网向Petri网映射的对应关系，给出了Petri网模型的八种规约规则。这些规则在实际应用中证明是可行的。
|
| 关 键 词： | Petri网规约 工作流 模型验证 |
Workflow Model Verification Based on Object Petri-Net Reduction |
| |
| YANG Botao,QIAO Peili.Workflow Model Verification Based on Object Petri-Net Reduction[J].Modern Manufacturing Technology and Equipment,2006,23(1):58-60. |
| |
| Authors: | YANG Botao QIAO Peili |
| |
| Abstract: | In the light of the problem of complexity and fallibility of workflow modeling in the paper, we provide a model verification method based on Petri-net system reduction, give corresponding relationship of workflow mapping to Petri-net, and provide eight reduction rules based on Petri-net modeling. They are practicable by application. |
| |
| Keywords: | Petri-Net reduction Workflow Modeling verification |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
