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

• 作者: 程曦浩 董利达 郑寒
• 来源期刊: 浙江大学学报（工学版）
• 学科: 工学
• 关键词: Petri网 工作流网 安全库所 替换网
• 年，卷（期）: 2010,（9）
• 页码范围: 1711-1718
• 页数: 8页
• 分类号: TP301
• 语种: 中文
• DOI: 10.3785/j.issn.1008-973X.2010.09.014

摘要

基于Petri网的替换运算,提出基于工作流网的库所替换规则,并定义工作流安全库所替换网,进而研究基于稳固工作流的安全库所替换网系统对替换前的Petri网系统特性的保持性问题,研究表明:用稳固工作流网对原Petri网系统的安全库所进行替换之后,得到的替换网系统能保持原网系统的活性、有界性、可回复性;同时,若原Petri网系统是安全的,则替换网系统是有界的,但是由于工作流网本身不具备公平性、持续性等性质,替换网系统不能保持原Petri网系统的公平性和持续性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	董利达		21	152	7.0	12.0
2	郑寒		2	0	0.0	0.0
3	程曦浩		2	0	0.0	0.0