swMATH14787MaRDI QIDQ26684FDOQ26684
Author name not available (Why is that?)
Official website: http://dl.acm.org/citation.cfm?id=670477
Cited In (24)
- Title not available (Why is that?)
- Markov regenerative stochastic Petri nets with general execution policies: supplementary variable analysis and a prototype tool
- PhaseTypeR
- 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
- TimeNET
- ExSpect
- Selecting and implementing phase approximations for semi-Markov models
- DSPNexpress
- MACOM
- SPNP
- SPNica
- WebSPN
- 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
