Towards version 4.0 of TimeNET

This paper presents recent changes to TimeNET, a software tool for the modeling and performability evaluation using stochastic Petri nets. The tool is designed to deal with models including non-exponentially distributed firing delays. Colored stochastic Petri nets are added, and the graphical user interface has been reimplemented to let the tool run under Unix, Linux and Windows.