期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

基于Petri网子范畴的压缩规则

Reduced Rules Based on a Sub-category of Petri-Nets
下载PDF
导出
摘要 设计了一个简单的压缩算法 ,并实现了一个基于压缩 Petri网的安全性分析系统 。 A reduction algorithm is designed and implemented to analyze the safety. The experimental result indicates that the algorithm efficiently decreases the time to analyze the safety.
作者 傅建明 朱福喜 刘莉萍
机构地区 武汉大学计算机学院
出处 《小型微型计算机系统》 CSCD 北大核心 2004年第3期391-394,共4页 Journal of Chinese Computer Systems
基金 国家自然基金项目 ( 90 10 40 0 5 )资助
关键词 PETRI网 子范畴 安全性 可达分析 压缩规则 压缩算法 网络安全 petri-net sub-category safety reachability analysis reduced rule
分类号 TP393.08 [自动化与计算机技术—计算机应用技术]
  • 相关文献

参考文献5

  • 1[1]Taylor R. Complexity of analyzing the synchronization structure of concurrent programs[J] Acta Inf.1983,19:57～84.
  • 2[2]Murata T, Koh J Y. Reduction and expansion of live and safe marked graphs[J]. IEEE Trans. Circuit Syst.,1980, CAS-27:68～70.
  • 3[3]Berthelot G. Transformations and decompositions of nets[M]. LNCS, New York, Springer-Verlag,1986.
  • 4[4]Shat S M, Cheng W K. A petri net framework for atuomated static analysis of ada tasking behavior[J]. J. of Systems and Software,1988,8(5):343～359.
  • 5[5]James C Corbett. Evaluating deadlock detection methods for concurrent software[J]. IEEE Trans. On Software Engineering, 1996,22(3):161～180.
小型微型计算机系统
2004年 第3期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部