Soundness Analysis of the Multi-cases Workflow Model Based on Home State

PANG Shan-chen; YAN Chun-gang; JIANG Chang-jun

您当前的位置：

首页 >

文章列表页 >

Soundness Analysis of the Multi-cases Workflow Model Based on Home State

更新时间：2025-07-16

- Soundness Analysis of the Multi-cases Workflow Model Based on Home State
- Acta Electronica Sinica Vol. 34, Issue 6, Pages: 1163-1168(2006)
- 作者机构：
  
  1. 同济大学计算机科学与工程系,上海,200092
  2. 山东科技大学信息科学与工程学院,山东,青岛,266510
  3. 同济大学计算机科学与工程系上海,200092
  4. 山东科技大学信息科学与工程学院山东青岛,266510
- 作者简介：
- 基金信息：
- DOI：
  CLC： TP302
- Published：2006
- 稿件说明：
移动端阅览
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：

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

Views

863

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

A Supply Chain Modeling Technology Based on RFID Discovery Service

Grid Workflows Schedule Based on Priority Rules

Petri Net Based Scheduling for Integrated Circuits Manufacturing

Proof of the Security of Digital Media Distributing Protocol Based on Petri Net Models

A Commodity Workflow Mining Approach Based on RFID Data Sets

Related Author

FONT

FONT face

Verdana

LI Xin-peng

ZHAO Wen

LIU Dian-xing

YUAN Chong-yi

ZHANG Shi-kun

Related Institution

北京大学信息科学技术学院软件研究所高可信软件技术教育部重点实验室

北京大学软件工程国家工程研究中心

1.北京大学信息科学技术学院

Ministry of Education Key Laboratory of Computer Network and Information IntegrationSoutheast UniversityNanjingJiangsu 210096China

School of Computer Science and EngineeringSoutheast UniversityNanjingJiangsu 210096China

⁰