TimeNET - MaRDI portal

Cited in

(37)

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

This page was built for software: TimeNET