This paper describes TimeNET (Timed Net Evaluation Tool), a software p
ackage for the modeling and evaluation of stochastic Petri nets with n
on-exponentially distributed firing times. TimeNET has been developed
at the Technische Universitat Berlin in several research projects. A g
raphical user interface is provided for the model specification and sp
ecialized analysis and simulation components are used for the automate
d model evaluation. The implementation of the analysis and simulation
components is based on recent research results. Both the general struc
ture and the underlying algorithms of TimeNET are described. An exampl
e illustrates the modeling and evaluation process using TimeNET.