文献类型：期刊文献

中文题名：基于Matlab的时间Petri网工具箱

英文题名：Matlab Toolbox for Time Petri Nets

作者：潘理[1];刘显明[2];郑红[3];张远来[4]

机构：[1]湖南理工学院信息与通信工程学院,岳阳414006;[2]江西省电力公司信息通信中心,南昌330077;[3]华东理工大学计算机科学与工程系,上海200237;[4]泰豪软件股份有限公司电力事业部,南昌330090

年份：2011

卷号：23

期号：B07

起止页码：99

中文期刊名：系统仿真学报

外文期刊名：Journal of System Simulation

收录：CSTPCD;;Scopus;北大核心:【北大核心2008】；CSCD:【CSCD2011_2012】；

基金：数字家庭教育部重点实验室开放基金(中山大学);计算机软件新技术国家重点实验室开放基金(KFKT2009B18);江西省电力公司科技项目(201050803;201150802)

语种：中文

中文关键词：时间Petri网;Matlab;时间分析;工具箱

外文关键词：time Petri nets; Matlab; timing analysis; toolbox

摘要：要解决实际系统,尤其是大型复杂实时系统的建模、模拟、分析和验证等问题,友好、有效的工具支持是必不可少的。充分利用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.