| 基于工作流的安全库所替换网特性研究 |
| |
| 引用本文： | 董利达,程曦浩,郑寒.基于工作流的安全库所替换网特性研究[J].浙江大学学报(自然科学版 ),2010,44(9):1711-1718. |
| |
| 作者姓名： | 董利达 程曦浩 郑寒 |
| |
| 作者单位： | 浙江大学 电子电路与信息系统研究所,浙江 杭州 310027 |
| |
| 基金项目： | 国家自然科学资金资助项目（60503027）；国家"863"高技术研究发展计划资助项目（2006AA040309）；浙江省科技厅资助项目（2007C1046）. |
| |
| 摘 要： | 基于Petri网的替换运算,提出基于工作流网的库所替换规则,并定义工作流安全库所替换网,进而研究基于稳固工作流的安全库所替换网系统对替换前的Petri网系统特性的保持性问题,研究表明:用稳固工作流网对原Petri网系统的安全库所进行替换之后,得到的替换网系统能保持原网系统的活性、有界性、可回复性;同时,若原Petri网系统是安全的,则替换网系统是有界的,但是由于工作流网本身不具备公平性、持续性等性质,替换网系统不能保持原Petri网系统的公平性和持续性.
|
| 关 键 词： | Petri网 工作流网 安全库所 替换网 |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《浙江大学学报(自然科学版 )》浏览原始摘要信息 |
|
点击此处可从《浙江大学学报(自然科学版 )》下载全文 |
|
