作　　者： ; ; ; ;

机构地区： 湖南理工学院信息与通信工程学院

出　　处： 《系统仿真学报》 2011年第B07期99-101,131,共4页

摘　　要： 要解决实际系统,尤其是大型复杂实时系统的建模、模拟、分析和验证等问题,友好、有效的工具支持是必不可少的。充分利用Matlab强大的矩阵运算和丰富的数据分析能力,研制基于Matlab平台的可视化时间Petri网分析工具箱,重点开发了工具箱的图形编辑、动态模拟、时间分析等功能,为时间Petri网分析工具的研制提供了一种有益的探索。 To solve the problems existing in modeling,simulation,analysis and verification of system,especially large and complex real-time systems,friendly and effective tool support is essential.A Matlab toolbox for time Petri nets was developed by fully utilizing the powerful capabilities of matrix operations and data analysis of Matlab.Graphical edition,dynamical simulation,and timing analysis functions of the toolbox were implemented.This work is undoubtedly a good try in the tool development of time Petri nets.

关 键 词： 时间 网 时间分析 工具箱

领　　域： [自动化与计算机技术] [自动化与计算机技术]