ESP
From MaRDI portal
Cited in
(25)- PhaseTypeR
- TimeNET
- PEPS
- ExSpect
- Sensitivity analysis and optimization of stochastic Petri nets
- Design and control of workflow processes. Business process management for the service industry.
- DSPNexpress
- MACOM
- SPNP
- Phase-type distributions in stochastic automata networks
- WebSPN
- SPNica
- Specifications and solution techniques for non-Markovian stochastic Petri nets
- Two-layer symbolic representation for stochastic models with phase-type distributed events
- TimeNET: a toolkit for evaluating non-Markovian stochastic Petri nets
- scientific article; zbMATH DE number 4167915 (Why is no real title available?)
- Symbolic Analysis for GSMP Models with One Stateful Clock
- scientific article; zbMATH DE number 1330067 (Why is no real title available?)
- Selecting and implementing phase approximations for semi-Markov models
- scientific article; zbMATH DE number 510833 (Why is no real title available?)
- scientific article; zbMATH DE number 732081 (Why is no real title available?)
- scientific article; zbMATH DE number 1538066 (Why is no real title available?)
- Markov regenerative stochastic Petri nets with general execution policies: supplementary variable analysis and a prototype tool
- MRSPN analysis of semi-Markovian finite source retrial queues
- Specification techniques for Markov reward models
This page was built for software: ESP
