Software
Petri Net Toolbox
MATLAB toolbox for the simulation, analysis and synthesis of discrete-event systems modeled with discrete Petri nets.
RMTool
Tool for path planning and motion control of mobile robots, highlighted in the biography and teaching pages.
SimHPN
MATLAB toolbox for simulation, analysis and design with hybrid Petri nets.