Tu peux essayer :

http://www.ac.tuiasi.ro/pntool/
http://www-europe.mathworks.com/matlabcentral/fileexchange/6501-matlab-petri-net-toolbox