The following pages link to (Q4784053):
Displayed 13 items.
- A hybrid approach to failure analysis using stochastic Petri nets and ranking generalized fuzzy numbers (Q360587) (← links)
- Three-valued abstraction for probabilistic systems (Q444484) (← links)
- A computational approach to extinction events in chemical reaction networks with discrete state spaces (Q680446) (← links)
- Structured construction and simulation of nondeterministic stochastic activity networks (Q1027622) (← links)
- Conditions for extinction events in chemical reaction networks with discrete state spaces (Q1742481) (← links)
- Performance evaluation in stochastic process algebra dtsdPBC (Q2058309) (← links)
- Reachability analysis of low-order discrete state reaction networks obeying conservation laws (Q2325088) (← links)
- Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC (Q2633503) (← links)
- Decidable Classes of Unbounded Petri Nets with Time and Urgency (Q2822660) (← links)
- On Probabilistic Techniques for Data Flow Analysis (Q2870284) (← links)
- Stochastic Object-Based Graph Grammars (Q2870329) (← links)
- On Parametric Steady State Analysis of a Generalized Stochastic Petri Net with a Fork-Join Subnet (Q3011894) (← links)
- Stochastic Petri Nets Sensitivity to Token Scheduling Policies (Q5232815) (← links)