In: Lecture Notes in Computer Science, Vol. 1786: Computer Performance Evaluation: Modeling Techniques and Tools, pages 188-202. Springer-Verlag, 2000.
Abstract: This paper presents TimeNET, a software tool for the modeling and performability evaluation using stochastic Petri nets. The tool has been designed especially for models with non-exponentially distributed firing delays. A general overview of the software package and its new features is given. The graphical user interface is completely rewritten. It integrates different models in a user-friendly and consistent way. One of the recent enhancements is an environment for the modeling and performance evaluation of manufacturing systems based on colored stochastic Petri nets. A manufacturing system is modeled and analyzed as an application example.
Keywords: TimeNET 3.0, colored Petri nets, manufacturing systems, performability evaluation, software tools, stochastic Petri nets.