"Petri .NET Simulator" is an application that can be used for drawing and simulation of Petri nets. The application has been designed for modelling and simulation of flexible manufacturing systems but can be used for other discrete event systems as well.
