Pages that link to "Item:Q6487394"
From MaRDI portal
The following pages link to Iterative Decomposition and Aggregation of Labeled GSPNs (Q6487394):
Displaying 7 items.
- Logical characterization of fluid equivalences (Q2323132) (← links)
- Equivalences for fluid stochastic Petri nets (Q2403677) (← links)
- Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC (Q2633503) (← links)
- Solution of large GSPN models (Q3976689) (← links)
- On bounds for token probabilities in a class of generalized stochastic Petri nets (Q3976691) (← links)
- Applications and Theory of Petri Nets 2005 (Q5713530) (← links)
- Performance preserving equivalence for stochastic process algebra dtsdPBC (Q6587404) (← links)