Pages that link to "Item:Q5096363"
From MaRDI portal
The following pages link to A notion of equivalence for stochastic Petri nets (Q5096363):
Displaying 9 items.
- Exact performance equivalence: An equivalence relation for stochastic automata (Q1285589) (← links)
- Logical characterization of fluid equivalences (Q2323132) (← links)
- Equivalences for fluid stochastic Petri nets (Q2403677) (← links)
- Bisimulation relations for weighted automata (Q2481957) (← links)
- Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC (Q2633503) (← links)
- Symmetric stochastic Petri nets (Q3776639) (← links)
- On the Approximation of the Resource Equivalences in Petri Nets with the Invisible Transitions (Q5060067) (← links)
- Iterative Decomposition and Aggregation of Labeled GSPNs (Q6487394) (← links)
- Performance preserving equivalence for stochastic process algebra dtsdPBC (Q6587404) (← links)