手机知网 App
24小时专家级知识服务
打 开
手机知网|搜索

安全开放系统的Petri网模型

文静华;李祥

  Petri网具有图形化的直观性和数学的严谨性,非常适合进行复杂逻辑系统的描述与分析。分析了文献[1]提出的基于交易器的安全系统有限自动机模型的局限性,提出了新的基于有色Petri网的CPN模型分析方法,最后给出了文献[1]中实例对应的CPN模型。……   
App内打开