基于XML的Petri网信息读写器研究

摘要：

作为一种优秀的系统描述与分析的形式化工具，Petri网已经广泛应用于协议分析工程领域、人工智能以及软件工程、程序验证和柔性制造系统等各个领域。由于Petri网适合用来描述并发和分布式系统，就目前来说对Petri网的研究已经取得了较成熟的理论研究成果。同时在对Petri网研究的不断深入过程中，出现了多种Petri网类型、各种Petri网工具和Petri网的文件格式，因此不同Petri网工具之间信息交换功能成为一个急需解决的重要问题。

关键词：Petri网、信息读写、数据交换

分类号：TP393(计算技术、计算机技术)

在线出版日期：2014-05-06（万方平台首次上网日期，不代表论文的发表时间）

页数：共2页

页码：1878-1879