English

应用科学学报 >

2011 , Vol. 29 >Issue 1: 61 - 65

DOI: https://doi.org/10.3969/j.issn.0255-8297.2011.01.011

计算机科学与应用

工作流网系统合理性的语言特性

展开
  • 1. 同济大学电子与信息工程学院，上海201804
    2. 同济大学嵌入式系统与服务计算教育部重点实验室，上海201804
闫春钢，博士，教授，研究方向：Petri网理论、工作流建模方法，E-mail: cgyan2@163.com；蒋昌俊，教授，博导，研究方向：Petri网理论、形式化方法、并发系统、信息服务，E-mail: cjjiang@tongji.edu.cn

收稿日期: 2010-07-01

  修回日期: 2010-11-24

  网络出版日期: 2011-01-24

基金资助

国家“973”重点基础研究发展计划基金(No. 2010CB328101)；国家自然科学基金(No.90718012)；国家“863”高技术研究发展计划基金(No.2009AA01Z401)；上海重点基础研究项目基金(No.08JC1419300, No.09JC1414200)；上海市曙光跟踪计划项目基金(No.08GG08)资助

收起

Language Properties for Rationality of Workflow Net System

Expand
  • 1. School of Electronics and Information Engineering, Tongji University, Shanghai 201804, China
    2. The　Key　Laboratory　of　Embedded　System　and　Service　Computing Ministry　of　Education, Tongji　University,　Shanghai　201804, China

Received date: 2010-07-01

  Revised date: 2010-11-24

  Online published: 2011-01-24

Fold

摘要

 工作流系统的合理性是描述事务处理过程的一个基本要求，目前大多是将工作流网系统的合理性转化为对应的扩展工作流网系统的活性和有界性来考虑. 该文从工作流网系统的语言角度研究了合理性的特征，给出合理性的一个网语言刻画，从而揭示了这一基本性质的行为特征. 文中进一步研究同步合成工作流网系统和组合合成工作流网系统，分别给出这两种合成系统合理性保持的充分必要条件，为复杂工作流网系统合成建模与分析提供了一种新的途径.

关键词： Petri网; 工作流网系统; 语言; 合理性

本文引用格式

闫春钢1;2， 蒋昌俊1;2， 丁志军1;2， 孙萍1;2 . 工作流网系统合理性的语言特性[J]. 应用科学学报, 2011 , 29(1) : 61 -65 . DOI: 10.3969/j.issn.0255-8297.2011.01.011

Abstract

Soundness of workflow system is a fundamental requirement in formalizing transaction processing flow. Most current researches convert soundness of workflow net (WF-net) system to liveness and boundedness of its extended workflow net system. The soundness property is studied in this paper from the language viewpoint of the workflow net system. Net language depiction for soundness is presented to reveal the behavior
characteristic of this basic property. Furthermore, synchronous composition and combined composition of the workflow net system is studied. Necessary and sufficient conditions are given for soundness preservation of the two composition systems. This study provides a novel approach to the modeling and analysis for composition in complex WF-net systems.

Key words： Petri net; WF-net system; language; soundness

Options
文章导航

/

〈 〉