基于Petri网工作流过程模型验证和性能评价方法研究.pdf

答辩委员会主席——大硕士学位论文东南学分类号:——霉级:基于墓ぷ髁鞴棠P脱橹和性能评价方法的研究研究生姓名:睦主塞羞造剧夔攮导师姓名:五学科专业名称过篡扭廑厦学位授予单位室亩太堂中请学位级别王堂亟±论文提交日期鳗笙圣县论文答辩日期簟焐旦学位授予日期评阅人年∞月公珏学号:
摘要基于墓ぷ髁鞴棠P脱橹ず托阅芷兰鄯椒ǖ难芯东南大学计算机科学与工稗系虺艬捌渌枰9婊凸芾砉作流的领域。设计工作流管理系统的关键在于工作流建模,即在概念级上绐出业务过程的抽务退侵涞牧庸叵怠晖跫跋喙氐奶跫际茸槌伞来讲有很大的诱惑力。特别是当需要考虑的经营过程较为复杂,如存在并发、冲突等情形时,本论文的主要工作是研究工作流建模,其内容包括建模、模型验证、模型评价三个部分。第一部分土要叙述了工作流过程建模的实现。包括工作流建模工具;工作流活动图同证网的强连通性;计算并比较贺鄱蟂属性:寻找活的初始标识。对每一步骤的算法都进行了详细的描述。对算法的时间复杂性进行分析。第三部分首先提出了一组时问3质奔湓际匦圆槐涞耐浠还嬖蚝屯幕疗法,通过反复应用变换规则进行化简,逐步减小网的规模,最终计算出工作流系统响应时【关键字】⒐ぷ髁髂P汀⒆杂裳≡裢⑿疟辍、强连通网、环种А⒀陈字寒工作流管理系统是近年来发展最为迅速的计算机应用技术之一,已被广泛地应用于办公自动化、业务流程重组象表示。,过程由若千定义完善的活动蛉由于哂醒细竦氖Щ『凸娣痘挠镆澹杂诠ぷ髁鞯慕S敕治鲅芯咳嗽緖椒ń泄ぷ髁髂P头治鲇忻飨缘挠攀啤淖;汗ぷ髁髂P屯瑇文档的双向转化问题约笆蔽蔖跬畔⒃趚文档中躺数据类型定义等问题,论文在上述几个方面详细介绍了实现的过程,并举例说明。第二部分根据一系列定理提出的工作流Ⅲ网模型的验证性大致分为四个步骤。验问。论文中详细介绍该算法的实现过程及其数据结构。。最后一章对本论文的工作进行全面的总结,并对未来的工作进行了展望。证、性能评价
——垒童荃兰堡:生兰垦笙兰,蛄產瑃.,.甎,.【產,瑆瑂甴簎..,.:簍玠。猟瑇簍珽.,—,’簍簍瓸琣
瑂瑇,瑆,琒,畉
隧日期:啦研究生签名了鳆导师签名:超日期:希ぁ东南大学学位论文独创性声明东南大学学位论文使用授权声明研究生签名:本人声明所呈交的学位论文是我个人在导师指导下进行的研究工作及取得的研究成果。尽我所知,除了文中特别加以标注和致谢的地方外,论文中不包含其他人已经发表或撰写过的研究成果,也不包含为获得东南大学或其它教育机构的学位或证书而使用过的材料。与我一同工作的同志对本研究所做的任何贡献均己在论文中作了明确的说明并表示了谢意。东南大学、中国科学技术信息研究所、国家图书馆有权保留本人所送交学位论文的复印件和电子文档,可以采用影印、缩印或其他复制手段保存论文。本人电子文档的内容和纸质论文的内容相一致。除在保密款内的保密论文外,允许论文被查阅和借阅,可以公布ǹ论文的全部或部分内容。论文的公布括刊登谌ǘ洗笱а芯可喊炖怼
第一章、绪论、前言改计髁鞴芾硐低车墓丶谟诠ぷ髁鹘#丛诟拍罴渡细鲆滴窆某橄蟊硎空航天等和人生命有重大相关的系统,其模型中还包括时间约束的特性,都必须在实现系上作流管理系统是近年来发展最为迅速的计算机应用技术之一,已被广泛地应用于办公自动化、业务流程重组虺艬渌枰9婊凸理作流的领域。按照工作流管理联盟的定义,工作流是业务流程的全部或部分自动化,在此过程中,文档、信息或者任务按照一定的过程规则流转,实现组织成员间的协调工作以期达到业务的整体目标。,以及对每个活动的描述。所以。』髁魇基于事件的。工作的每一部分就是执行一个特定的事件。通常,业务流程通过过程定义进行形式化描述,过程由若干定义完善的活动蛉挝和它们之间的连接关系以及相关的条件约束等组成。工作流建模方法形式上不尽相同,但它们都能提供对逻辑顺序结构,资源使用,路由控制信息等流程,定义所必须的要素的描述。、直观且易于在已有的项目管理软件工具上扩展实现等特点,所以在实用系统的工作流建模工具中采用的比较多。而对于采用6裕」芷涠跃9痰耐夹位谋泶锏目啥列苑矫娲嬖不足,但由于其严格的数学基础和规范化的语义,对于工作流的建模与分析研究人员来讲有很大的诱惑力。特别是当需要考虑的经营过程较为复杂,如存在并发、冲突等情形时,用椒ń泄ぷ髁髂P头治鲇忻飨缘挠攀啤R虼耍谑导视τ弥锌梢圆捎弥惫垡读的有向网络图进行工作流建模,而在模型分析时,通过一种具有语义不变性的映射方法将有向网络图转换为相同语义结构的梅岣籔网理论进行模型分析,充分说明K哂械挠旁叫浴个基本元素:转移、位置⒂邢蛄令