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

DOI10.1016/0166-5316(95)00010-UMaRDI QIDQ3122573zbMATH OpenOpenAlexWikidataFDO

Authors Reinhard German, Christian Kelling, Armin Zimmermann, Günter Hommel

Publication date 28 February 1997

Published in Performance Evaluation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0166-5316(95)00010-u

zbMATH Keywords

Analysis and simulation of stochastic Petri netsGraphical user interfacePerformance and dependability modeling tool

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1629917
• scientific article; zbMATH DE number 1330067
• scientific article; zbMATH DE number 1294068
• GreatSPN 1.7: Graphical editor and analyzer for timed and stochastic Petri nets

Cited in

(13)

• TimeNET
• Analysis of priority multi-server retrial queueing inventory systems with MAP arrivals and exponential services
• Performance analysis of the \(M/G/c\) retrial queueing systems using the theory of Markov regenerative stochastic Petri nets.
• scientific article; zbMATH DE number 1630007 (Why is no real title available?)
• GreatSPN 1.7: Graphical editor and analyzer for timed and stochastic Petri nets
• HYPENS: A Matlab Tool for Timed Discrete, Continuous and Hybrid Petri Nets
• scientific article; zbMATH DE number 1330067 (Why is no real title available?)
• Performance analysis of a connection management scheme in IWU interconnecting LANs across ATM networks
• Exploring impact of time management services on HLA-based Petri Nets Simulation Engine
• scientific article; zbMATH DE number 764884 (Why is no real title available?)
• A NEW FINITE-SOURCE QUEUEING MODEL FOR MOBILE CELLULAR NETWORKS APPLYING SPECTRUM RENTING
• Computer Aided Verification
• Distributed simulation of modular time Petri nets: An approach and a case study exploiting temporal uncertainty

Describes a project that uses

Uses Software

• DSPNexpress
• ESP
• SPNP

This page was built for publication: TimeNET: a toolkit for evaluating non-Markovian stochastic Petri nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3122573)