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 in zbMATH (referenced in 25 articles , 1 standard article )

Showing results 1 to 20 of 25.
Sorted by year (citations)

1 2 next

  1. Wang, Fong-Fan; Bhagat, Amita; Chang, Tsan-Ming: Analysis of priority multi-server retrial queueing inventory systems with MAP arrivals and exponential services (2017)
  2. Stehr, Mark-Oliver; Kim, Minyoung; McCarthy, Tim: A distributed computing model for dataflow, controlflow, and workflow in fractionated cyber-physical systems (2014)
  3. Araújo, Carlos; Maciel, Paulo; Zimmermann, Armin; Andrade, Ermeson; Sousa, Erica; Callou, Gustavo; Cunha, Paulo: Performability modeling of electronic funds transfer systems (2011) ioport
  4. Gupta, Vandana; Dharmaraja, S.; Gong, Mingwei: Analytical modeling of TCP flow in wireless lans (2011) ioport
  5. Gallasch, Guy Edward; Billington, Jonathan: A study of the convergence of steady state probabilities in a closed fork-join network (2010)
  6. Villén-Altamirano, José: Importance functions for restart simulation of general Jackson networks (2010)
  7. Kostin, Alexander E.: A reachability algorithm for general Petri nets based on transition invariants (2006)
  8. Gu, Baoshan; Chen, Ing-Ray: Performance analysis of location-aware mobile service proxies for reducing network cost in personal communication systems (2005) ioport
  9. Dehnert, J.; Freiheit, J.; Zimmermann, A.: Modelling and evaluation of time aspects in business processes (2002)
  10. German, R.: Iterative analysis of Markov regenerative models (2001)
  11. German, Reinhard: Non-Markovian analysis (2001)
  12. Heindl, A.: Decomposition of general tandem queueing networks with MMPP input (2001)
  13. Obal, W.D.; Sanders, W.H.: Measure-adaptive state-space construction (2001)
  14. Zimmermann, Armin; Freiheit, Jörn; Huck, Alexander: A Petri net based design engine for manufacturing systems (2001)
  15. German, Reinhard: Markov regenerative stochastic Petri nets with general execution policies: Supplementary variable analysis and a prototype tool (2000)
  16. Heindl, Armin: Decomposition of general tandem queueing networks with MMPP input (2000)
  17. Hoffmann, Kathrin: Run time modification of algebraic high level nets and algebraic higher order nets using folding and unfolding construction (2000)
  18. Horváth, András; Puliafito, Antonio; Scarpa, Marco; Telek, Miklós: Analysis and evaluation of non-Markovian stochastic Petri nets (2000)
  19. Tuffin, Bruno; Trivedi, Kishor S.: Implementation of importance splitting techniques in stochastic Petri net package (2000)
  20. Zimmermann, Armin; Freiheit, Jörn; German, Reinhard; Hommel, Günter: Petri net modelling and performability evaluation with TimeNET 3. 0 (2000)

1 2 next