安全开放系统的Petri网模型

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