Pages that link to "Item:Q3994065"
From MaRDI portal
The following pages link to On the solution of GSPN reward models (Q3994065):
Displaying 13 items.
- Specification techniques for Markov reward models (Q686334) (← links)
- Mixing logics and rewards for the component-oriented specification of performance measures (Q995461) (← links)
- Performance measure sensitive congruences for Markovian process algebras (Q1853585) (← links)
- Performance evaluation in stochastic process algebra dtsdPBC (Q2058309) (← links)
- Logical characterization of fluid equivalences (Q2323132) (← links)
- Performance optimization for a class of generalized stochastic Petri nets (Q2348377) (← links)
- Equivalences for fluid stochastic Petri nets (Q2403677) (← links)
- GSP with General Independent Click-through-Rates (Q2937002) (← links)
- Solution of large GSPN models (Q3976689) (← links)
- A notion of equivalence for stochastic Petri nets (Q5096363) (← links)
- Applications and Theory of Petri Nets 2005 (Q5713530) (← links)
- A distributed algorithm for GSPN reachability graph generation (Q5929020) (← links)
- Skipping and fetching: insights on non-conventional product-form solutions (Q6546451) (← links)