EDSIM-a Petri net simulator

A Petri net simulator is described. It is one of the tools developed in a project to produce a suite of well coordinated design tools with application in the design of complex, highly reliable digital systems. The simulator can be applied to a range of the most commonly used timed transition Petri nets. Features of the simulator such as the method it uses to resolve conflicts and the data structures which have been used to enhance its efficiency are described. Its performance is assessed.<>