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

Language Properties for Rationality of Workflow Net System

作　　者：闫春钢[1,2] 蒋昌俊[1,2] 丁志军[1,2] 孙萍[1,2] 

机构地区：[1]同济大学电子与信息工程学院,上海201804 [2]同济大学嵌入式系统与服务计算教育部重点实验室,上海201804

出　　处：《应用科学学报》2011年第1期61-65,共5页Journal of Applied Sciences

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

摘　　要：工作流系统的合理性是描述事务处理过程的一个基本要求,目前大多是将工作流网系统的合理性转化为对应的扩展工作流网系统的活性和有界性来考虑.该文从工作流网系统的语言角度研究了合理性的特征,给出合理性的一个网语言刻画,从而揭示了这一基本性质的行为特征.文中进一步研究同步合成工作流网系统和组合合成工作流网系统,分别给出这两种合成系统合理性保持的充分必要条件,为复杂工作流网系统合成建模与分析提供了一种新的途径.Soundness of workflow system is a fundamental requirement in formalizing transaction processing flow. Most current researches convert soundness of workttow 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 reveM 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.

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

分 类 号：TN311[电子电信—物理电子学]