English

应用科学学报 ›› 2011, Vol. 29 ›› Issue (1): 61-65.doi: 10.3969/j.issn.0255-8297.2011.01.011

• 计算机科学与应用 • 上一篇    下一篇

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

闫春钢1;2， 蒋昌俊1;2， 丁志军1;2， 孙萍1;2   

  1. 1. 同济大学电子与信息工程学院，上海201804
    2. 同济大学嵌入式系统与服务计算教育部重点实验室，上海201804
  • 收稿日期:2010-07-01 修回日期:2010-11-24 出版日期:2011-01-26 发布日期:2011-01-24
  • 作者简介:闫春钢，博士，教授，研究方向：Petri网理论、工作流建模方法，E-mail: cgyan2@163.com；蒋昌俊，教授，博导，研究方向：Petri网理论、形式化方法、并发系统、信息服务，E-mail: cjjiang@tongji.edu.cn
  • 基金资助:

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

Language Properties for Rationality of Workflow Net System

YAN Chun-gang1;2, JIANG Chang-jun1;2, DING Zhi-jun1;2, SUN Ping1;2   

  1. 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:2010-07-01 Revised:2010-11-24 Online:2011-01-26 Published:2011-01-24

PDF

1767

被引次数

8

摘要：

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

关键词: Petri网, 工作流网系统, 语言, 合理性

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

中图分类号: