摘要
设计了一个简单的压缩算法 ,并实现了一个基于压缩 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 )资助