PeNeTo; A Petri Net Simulator for Fast Safety and Quality Analysis and Cost - Prediction. - Stefan Heller; Stefan Greiner; Graham Horton (ESM, 2002)