资源描述：
《基于着色时间petri网的工作流模型及其性能分析》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、第18卷第6期计算机辅助设计与图形学学报Vol118,No162006年6月JOURNALOFCOMPUTER2AIDEDDESIGN&COMPUTERGRAPHICSJune,2006基于着色时间Petri网的工作流模型及其性能分析李涛钟诗胜(哈尔滨工业大学机电工程学院哈尔滨150001)(litaoforest@1631com)摘要为了将着色时间Petri网的并行式工作流模型应用于产品数据管理系统,在工作流建模阶段对工作流的静态和动态结构性能加以分析1采用活动扫描法作为工作流系统行为的仿真策略,研究了工作流模型到着色时间工作流网模型的转换过程1给出了用可达图检验工作流程中是否
2、存在死锁和陷阱的判定定理1以一种循环组件的或分支跳出并行流程的审批工作流为例,对论述的定理和方法进行了分析和验证1关键词产品数据管理;工作流管理;着色时间工作流网;可达图;性能分析中图法分类号TP166WorkflowModelwithColoredTimedPetriNetandItsPerformanceAnalysisLiTaoZhongShisheng(SchoolofMechatronicsEngineering,HarbinInstituteofTechnology,Harbin150001)AbstractToapplyconcurrentworkflowmodel
3、withcoloredtimedPetrinettoproductdatamanagementsystem,thestaticanddynamicstructuralperformanceofworkflowmodelatmodelingphaseisanalyzed1Activityscanningisadoptedasasimulationstrategytoassessthebehaviorofworkflowsystem1Thewaytotransformworkflowmodelintocoloredtimedworkflownetmodelisstudied1Ther
4、ulesforverifyingwhetherthereexistdeadlocksortrapsinconcurrentworkflowaredetectedthroughreachabilitygraph1Aconcurrentandloopedexamine2and2approveworkflowwithitscurrencycontrolmodulehavingor2splitsjumpingoutoffunctionisillustratedasanexampletoanalyzeandvalidatethepresentedapproaches1Keywordspro
5、ductdatamanagement;workflowmanagement;coloredtimedworkflownet;reachabilitygraph;performanceanalysis间,本文除了采用时间Petri网,再考虑在实际应用0引言中,一个工作流应该可以提交多项任务,一项任务在工作流中可能处于某一个工作状态(如产品的结构目前已出现了多种有代表性的工作流模型,如设计状态),而另一项任务在工作流中可能处于另一基于活动网络的工作流模型———FlowMark,基于语个工作状态(如设计审核状态)1这样如果仍沿用时言行为理论的工作流模型———ActionWorkflow
6、,基间Petri网,设计的模型将变得非常庞大和复杂,因于Petri网的工作流模型———WF2net等1当考虑的此本文系统采用了着色时间Petri网1着色时间工作流过程较为复杂,如存在并发、冲突等情况时,Petri网为网中的每一个库所定义了一个托肯色彩[1]采用高层次的形式描述模型Petri网等更为实用1集合,为每一个变迁定义了一个动作色彩集合,它不由于工作流每一个过程的发生总要经历一定的时但可以描述更复杂的系统,还可使得Petri网系统收稿日期:2005-05-20;修回日期:2005-12-26基金项目:欧盟科研项目(ASIPB72301P3152299P72553);黑龙江省
7、科技攻关项目(2005G3795200);哈尔滨市科技攻关项目(2005AA1CG06129)6期李涛等:基于着色时间Petri网的工作流模型及其性能分析825简洁明了1已有的一些工作流管理系统的运行往往整数对,是不固定时延,表示变迁tj使能后,由变迁tj自身侧重于工作流模型的定义和执行管理,对工作流模确定的、可触发的时间范围,即活动的可执行时间范围,k=型的分析不全面1,⋯,vj1,没有考虑到在实际应用中应该对[224]M0:P→N0为初始标识1在图形上,库所用一个圆圈表用户设
