Event-driven simulation of timed Petri net models

A collection of software tools for analysis of timed Petri nets, known as TPN-tools, developed over a number of years, has been extended by a simulation tool, TPNsim. The paper gives a brief characterization of TPNsim, and discusses some implementation aspects in greater detail.