TimeNET - MaRDI portal

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