基于家态的多事务工作流完整性分析

庞善臣; 闫春钢; 蒋昌俊

您当前的位置：

首页 >

文章列表页 >

基于家态的多事务工作流完整性分析

论文 | 更新时间：2025-07-16

- 基于家态的多事务工作流完整性分析
- Soundness Analysis of the Multi-cases Workflow Model Based on Home State
- 电子学报 2006年34卷第6期页码：1163-1168
- 作者机构：
  
  1. 同济大学计算机科学与工程系,上海,200092
  2. 山东科技大学信息科学与工程学院,山东,青岛,266510
  3. 同济大学计算机科学与工程系上海,200092
  4. 山东科技大学信息科学与工程学院山东青岛,266510
- 作者简介：
- 基金信息：
  
  国家973重点基础研究发展规划 (No.2003C13316902,No.2004CB318001-3);国家自然科学基金 (No.90412013,No.60503002,No.60534060);上海市基础研究重点项目 (05JC14063,03JC14071)
- DOI：
  中图分类号： TP302
- 纸质出版：2006
- 稿件说明：
移动端阅览
庞善臣, 闫春钢, 蒋昌俊. 基于家态的多事务工作流完整性分析[J]. 电子学报, 2006,34(6):1163-1168.

PANG Shan-chen, YAN Chun-gang, JIANG Chang-jun. Soundness Analysis of the Multi-cases Workflow Model Based on Home State[J]. Acta Electronica Sinica, 2006, 34(6): 1163-1168.
庞善臣, 闫春钢, 蒋昌俊. 基于家态的多事务工作流完整性分析[J]. 电子学报, 2006,34(6):1163-1168. DOI：

PANG Shan-chen, YAN Chun-gang, JIANG Chang-jun. Soundness Analysis of the Multi-cases Workflow Model Based on Home State[J]. Acta Electronica Sinica, 2006, 34(6): 1163-1168. DOI：

摘要

工作流技术是计算机应用领域的一个研究热点

而行之有效的建模方法和分析工具是工作流系统的关键

也是研究人员的研究重点.基于工作流的Petri网结构化建模方法

研究了同一品质多事务工作流的Petri网模型

分析了模型处理多种事务的能力

对以往研究中的不足和错误进行了补充和更正

给出了基于家态的模型结构完整性验证的一个充要条件.所得结果为工作流模型分析和验证提供了理论基础和依据

对于分析工作流系统处理事务的能力

提高事务处理效率有重要意义.

Abstract

Workflow technology is a hotspot in the area of computer application

and the efficient modeling methods and application tools are important for workflow system

and are the emphases of research for researchers.Based on the Petri Nets modeling techniques

the workflow model of multi-cases having same characters be studied in this paper.Some properties of the multi-cases workflow net(MCWF-net) are analyzed and verified.Some shortages and errors in before some studied results be covered or rectified.Based on home state

a necessary and sufficient condition for the soundness of the multi-cases workflow net is presented.The results give a new method for workflow system analysis and verification

and it is important to analyze the ability to deal with the business process of workflow system

and improve the efficiency for workflow system to deal with the business process.

关键词

Keywords

references

浏览量

863

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

基于RFID发现服务的一种供应链建模技术

基于优先级规则的网格工作流调度

面向集成电路制造的基于Petri网的生产调度

基于Petri网的数字媒体分发协议的安全性证明

一种基于RFID数据集的物品工作流挖掘方法