MATLAB Petri Net Toolbox Icon
For analysis of hybrid system modeling.
Free