TimeNET: a toolkit for evaluating non-Markovian stochastic Petri nets

https://doi.org/10.1016/0166-5316(95)00010-UGet rights and content

Abstract

This paper describes TimeNET (Timed Net Evaluation Tool), a software package for the modeling and evaluation of stochastic Petri nets with non-exponentially distributed firing times. TimeNET has been developed at the Technische Universität Berlin in several research projects. A graphical user interface is provided for the model specification and specialized analysis and simulation components are used for the automated model evaluation. The implementation of the analysis and simulation components is based on recent research results. Both the general structure and the underlying algorithms of TimeNET are described. An example illustrates the modeling and evaluation process using TimeNET.

References (35)

  • G. Chiola et al.

    Generalized stochastic Petri nets: a definition at the net level and its implications

    IEEE Trans. Softw. Engrg.

    (1993)
  • G. Ciardo et al.

    A characterization of the stochastic process underlying a stochastic Petri net

    IEEE Trans. on Softw. Engrg.

    (1994)
  • G. Ciardo et al.

    SPNP: stochastic Petri net package

  • J. Couvillion et al.

    Performability modeling with UltraSAN

    IEEE Software

    (1991)
  • A. Cumani

    ESP — a package for the evaluation of stochastic Petri nets with phase-type distributed transition times

  • R. German

    A new approach to the approximation of deterministic time in continuous time stochastic models

  • R. German

    New results for the analysis of deterministic and stochastic Petri nets

  • Cited by (0)

    View full text