Matlab Toolbox for Time Petri Nets
Xianming Liu · Jisuanji fangzhen · 2011
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.