作者：文静华; 李祥有色petri网有限自动机安全系统petri网模型开放系统模型分析方法自动机模型逻辑系统cpn严谨性
摘要：Petri网具有图形化的直观性和数学的严谨性,非常适合进行复杂逻辑系统的描述与分析.分析了文献[1]提出的基于交易器的安全系统有限自动机模型的局限性,提出了新的基于有色Petri网的CPN模型分析方法,最后给出了文献[1]中实例对应的CPN模型.
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《计算机应用与软件》（CN：31-1260/TP）是一本有较高学术价值的大型月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《计算机应用与软件》主要面向从事计算机应用和软件技术开发的科研人员、工程技术人员、各大专院校师生等。致力于创办以创新、准确、实用为特色，突出综述性、科学性、实用性，及时报道国内外计算机技术在科研、教学、应用方面的研究成果和发展动态的综合性技术期刊，为国内计算机同行提供学术交流的平台。
部级期刊
人气 231010 评论 65
人气 216816 评论 35
省级期刊
人气 214103 评论 71
北大期刊、统计源期刊
人气 193708 评论 73
