ESP
From MaRDI portal
Software:26684
swMATH14787MaRDI QIDQ26684FDOQ26684
Author name not available (Why is that?)
Cited In (16)
- Title not available (Why is that?)
- Markov regenerative stochastic Petri nets with general execution policies: supplementary variable analysis and a prototype tool
- Specification techniques for Markov reward models
- Design and control of workflow processes. Business process management for the service industry.
- Title not available (Why is that?)
- TimeNET: a toolkit for evaluating non-Markovian stochastic Petri nets
- Title not available (Why is that?)
- Two-layer symbolic representation for stochastic models with phase-type distributed events
- Selecting and implementing phase approximations for semi-Markov models
- Title not available (Why is that?)
- Phase-type distributions in stochastic automata networks
- Title not available (Why is that?)
- Sensitivity analysis and optimization of stochastic Petri nets
- Specifications and solution techniques for non-Markovian stochastic Petri nets
- Symbolic Analysis for GSMP Models with One Stateful Clock
- MRSPN analysis of semi-Markovian finite source retrial queues
This page was built for software: ESP
