The following pages link to ESP (Q26684):
Displaying 16 items.
- MRSPN analysis of semi-Markovian finite source retrial queues (Q513044) (← links)
- Specification techniques for Markov reward models (Q686334) (← links)
- Sensitivity analysis and optimization of stochastic Petri nets (Q1801469) (← links)
- Design and control of workflow processes. Business process management for the service industry. (Q1810043) (← links)
- Phase-type distributions in stochastic automata networks (Q2426529) (← links)
- Specifications and solution techniques for non-Markovian stochastic Petri nets (Q2765690) (← links)
- Two-layer symbolic representation for stochastic models with phase-type distributed events (Q2792888) (← links)
- TimeNET: a toolkit for evaluating non-Markovian stochastic Petri nets (Q3122573) (← links)
- (Q3494459) (← links)
- Symbolic Analysis for GSMP Models with One Stateful Clock (Q3612961) (← links)
- (Q4258243) (← links)
- Selecting and implementing phase approximations for semi-Markov models (Q4273012) (← links)
- (Q4281302) (← links)
- (Q4325368) (← links)
- (Q4518925) (← links)
- Markov regenerative stochastic Petri nets with general execution policies: supplementary variable analysis and a prototype tool (Q4779374) (← links)