基于工作流的安全库所替换网特性研究  

Properties research of Petri nets' safety place substitution based on workflow nets

作　　者：董利达[1] 程曦浩[1] 郑寒[1] 

机构地区：[1]浙江大学电子电路与信息系统研究所,浙江杭州310027

出　　处：《浙江大学学报（工学版）》2010年第9期1711-1718,共8页Journal of Zhejiang University：Engineering Science

基　　金：国家自然科学资金资助项目(60503027);国家"863"高技术研究发展计划资助项目(2006AA040309);浙江省科技厅资助项目(2007C1046)

摘　　要：基于Petri网的替换运算,提出基于工作流网的库所替换规则,并定义工作流安全库所替换网,进而研究基于稳固工作流的安全库所替换网系统对替换前的Petri网系统特性的保持性问题,研究表明:用稳固工作流网对原Petri网系统的安全库所进行替换之后,得到的替换网系统能保持原网系统的活性、有界性、可回复性;同时,若原Petri网系统是安全的,则替换网系统是有界的,但是由于工作流网本身不具备公平性、持续性等性质,替换网系统不能保持原Petri网系统的公平性和持续性.The substitution operation of Petri nets was defined, and the place substitution rules based on workflow was proposed, and also the safety place substitution net based on workflow was defined. Then, the properties preserving of the safety place substitution net system based on sound workflow net was studied. If a safety place in a Petri net system substituted by a sound workflow net, the substitution net system can preserve liveness, boundedness and reversible; if the Petri net system is safe, the substitution net system is bounded; since workflow net do not have properties of fairness and persistence, the substitution net system cannot preserve these properties.

关 键 词：PETRI网 工作流网 安全库所 替换网 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]