Petri_Nets CPN Tools: http://cpntools.org/ Project which will allow user to create Petri Net and visualize its behaviour