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