摘要
Petri网具有图形化的直观性和数学的严谨性,非常适合进行复杂逻辑系统的描述与分析。分析了文献[1]提出的基于交易器的安全系统有限自动机模型的局限性,提出了新的基于有色Petri网的CPN模型分析方法,最后给出了文献[1]中实例对应的CPN模型。
Petri net has the directness of graphics and the preciseness of mathematics, being very fit for the description and analysis of complex logic system. This paper has analyzed the limit of the security system-fimited automaton model based on a swapping machine in Literature[1], given out the new CPN model and the analysis method based on colored Petri net and finally the corresponding CPN model of the instance in Literature[ 1 ].
出处
《计算机应用与软件》
CSCD
北大核心
2005年第10期1-2,共2页
Computer Applications and Software
基金
贵州省自然科学基金项目(2005-117)
