Petri Net Modelling and Performability Evaluation with TimeNET 3.0

Abstract. This paper presents TimeNET, a software tool for the modelling and performability evaluation using stochastic Petri nets. The tool has been designed especially for models with non-exponentially distributed ring delays. A general overview of the software package and its new features is given. The graphical user interface is completely rewritten. It integrates di erent model classes in a user-friendly and consistent way. One of the recent enhancements is an environment for the modelling and performance evaluation of manufacturing systems based on coloured stochastic Petri nets. A manufacturing system is modelled and analysed as an application example.

• Type: Conference
• Year: 2000
• Where: CPE
• Authors: Armin Zimmermann, Jörn Freiheit, Reinhard German, Günter Hommel
• Keywords: CPE 2000, Graphical User Interface, Hardware, Paper Presents Timenet, Stochastic Petri Nets