首页 | 本学科首页   官方微博 | 高级检索  
     

精炼工作流网的行为保持性质
引用本文:丁志军,潘美芹,蒋昌俊.精炼工作流网的行为保持性质[J].计算机科学,2007,34(5):125-128.
作者姓名:丁志军  潘美芹  蒋昌俊
作者单位:1. 同济大学计算机科学与技术系,上海,200092;山东科技大学信息科学与工程学院,青岛,266510
2. 山东科技大学信息科学与工程学院,青岛,266510
3. 同济大学计算机科学与技术系,上海,200092
基金项目:国家重点基础研究发展计划(973计划) , 国家自然科学基金 , 上海市优秀学科带头人项目
摘    要:本文定义了工作流网的精炼操作,研究了精炼工作流网的行为保持性质。结果表明精炼工作流网满足行为保持性质,即精炼工作流网的行为与原网和子网行为保持一致。在精炼工作流网行为保持性质的基础上,给出了基于原网语言和子网语言的精炼工作流网的语言刻画。本文结果有助于复杂工作流的设计、建模和验证。

关 键 词:工作流  Petri网  精炼  网语言

Behavior Preservation of Refined Workflow Nets
DING Zhi-Jun,PAN Mei-Qin,JIANG Chang-Jun.Behavior Preservation of Refined Workflow Nets[J].Computer Science,2007,34(5):125-128.
Authors:DING Zhi-Jun  PAN Mei-Qin  JIANG Chang-Jun
Affiliation:1.Department of Computer Scienee and Teehnology, Tongji University, Shanghai 200092;2.Collage of Information Sci, and Eng. , Shandong University of Seienee and Teehnology, Qingdao 266510
Abstract:Refinement operation of workflow nets is provided in this paper for modeling and analyzing complex workflow,and then net language properties of refined workflow nets are discussed in this paper.Our results indicates that a refined workflow net is behavior equivalent with the original WF-net,that is,the mapping language from refined net to original net(subnet) is same as original net(subnet) language.Moreover based on the behavior preservation,the net language of refined net can be resolved by the language of the original net and subnet.These results are useful for studying the dynamic behavior of Petri nets and analyzing language properties of large complex workflow system.
Keywords:Workflow  Petri nets  Refinement  Net language
本文献已被 CNKI 维普 万方数据 等数据库收录!
点击此处可从《计算机科学》浏览原始摘要信息
点击此处可从《计算机科学》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号