PIPE2 Icon
A tool for creating and analysing Petri nets.
Free