论文部分内容阅读
要解决实际系统,尤其是大型复杂实时系统的建模、模拟、分析和验证等问题,友好、有效的工具支持是必不可少的。充分利用Matlab强大的矩阵运算和丰富的数据分析能力,研制基于Matlab平台的可视化时间Petri网分析工具箱,重点开发了工具箱的图形编辑、动态模拟、时间分析等功能,为时间Petri网分析工具的研制提供了一种有益的探索。