基于Petri网的工作流过程建模与分析方法的研究

来源 :东南大学学报：英文版 | 被引量 : 0次 | 上传用户：yxjisg

【摘要】

：

工作流管理是CSCW的一个重要方面.本文介绍了工作流过程的基本知识，给出了一种基于Petri网的建模方法和基本定义，讨论了工作流过程结构和行为正确性的分析和验证，最后提出了过程

【作者】

：

【机构】

：

东南大学计算机科学与工程系

【出处】

：

东南大学学报：英文版

【发表日期】

：

2000年2期

【关键词】

：

【基金项目】

：

The project supported by the National Nature Science Foundation of China (69873009).

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

工作流管理是CSCW的一个重要方面.本文介绍了工作流过程的基本知识，给出了一种基于Petri网的建模方法和基本定义，讨论了工作流过程结构和行为正确性的分析和验证，最后提出了过程定义的验证算法.

其他文献

利用模类CR=Mx∈M,xRT=0,T∈I ,给出了CR有限生成模、CR有限表示模、CR正则环的概念.研究了CR正则环的判定条件及CR正则环与CRFP内射模的关系.

期刊

期刊