The following pages link to DSPNexpress (Q19947):
Displaying 13 items.
- Specification techniques for Markov reward models (Q686334) (← links)
- Modeling discrete event systems with state-dependent deterministic service times (Q686337) (← links)
- A new stochastic Petri net model and its applications to logistics systems (Q1029570) (← links)
- Constructing Petri net models using genetic search (Q1596757) (← links)
- A case study for the application of deterministic and stochastic Petri nets in the SoC communication domain (Q2432187) (← links)
- (Q2729010) (← links)
- (Q2765690) (← links)
- GreatSPN 1.7: Graphical editor and analyzer for timed and stochastic Petri nets (Q3122571) (← links)
- TimeNET: a toolkit for evaluating non-Markovian stochastic Petri nets (Q3122573) (← links)
- An improved numerical algorithm for calculating steady-state solutions of deterministic and stochastic Petri net models (Q4272469) (← links)
- (Q4763993) (← links)
- Revisiting the matrix‐free solution of Markov regenerative processes (Q4897518) (← links)
- (Q5687223) (← links)
