Cited in
(37)- Performance evaluation in stochastic process algebra dtsdPBC
- scientific article; zbMATH DE number 1538066 (Why is no real title available?)
- Transient analysis of hierarchical semi-Markov process models with tool support in Stateflow
- scientific article; zbMATH DE number 1629917 (Why is no real title available?)
- scientific article; zbMATH DE number 1515851 (Why is no real title available?)
- A new approach combining simulation and randomization for the analysis of large continuous time Markov chains
- Performance analysis of a connection management scheme in IWU interconnecting LANs across ATM networks
- Iterative analysis of Markov regenerative models
- scientific article; zbMATH DE number 1836379 (Why is no real title available?)
- scientific article; zbMATH DE number 1330067 (Why is no real title available?)
- Discrete time stochastic and deterministic Petri box calculus dtsdPBC
- Modelling and evaluation of time aspects in business processes
- scientific article; zbMATH DE number 1786474 (Why is no real title available?)
- A Petri net based design engine for manufacturing systems
- A modeling approach for estimating performance and energy consumption of storage systems
- A Reachability Algorithm for General Petri Nets Based on Transition Invariants
- A Study of the Convergence of Steady State Probabilities in a Closed Fork-Join Network
- Decomposition of general tandem queueing networks with MMPP input
- GreatSPN
- GreatSPN 1.7
- RESTART
- SHARPE
- DSPNexpress
- SPNP
- ESP
- SPNica
- WebSPN
- Analysis of priority multi-server retrial queueing inventory systems with MAP arrivals and exponential services
- Toward a decision support system for the clinical pathways assessment
- Measure-adaptive state-space construction
- SMP-tool
- A Distributed Computing Model for Dataflow, Controlflow, and Workflow in Fractionated Cyber-Physical Systems
- Performance modeling of IEEE 802.11 wireless LANs with stochastic Petri nets
- scientific article; zbMATH DE number 1538061 (Why is no real title available?)
- Markov regenerative stochastic Petri nets with general execution policies: supplementary variable analysis and a prototype tool
- scientific article; zbMATH DE number 1629918 (Why is no real title available?)
- Importance functions for restart simulation of general Jackson networks
This page was built for software: TimeNET
