The following pages link to (Q4547765):
Displaying 36 items.
- Approximation of the asymptotic mean marking of SPNs with contPNs (Q360628) (← links)
- Modeling and quantitatively predicting software security based on stochastic Petri nets (Q445374) (← links)
- Simplification of a complex signal transduction model using invariants and flow equivalent servers (Q652148) (← 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)
- Modeling transmission of directly transmitted infectious diseases using colored stochastic Petri nets (Q1408743) (← links)
- A method to abstract a stochastic Petri net. (Q1597089) (← links)
- Sensitivity analysis and optimization of stochastic Petri nets (Q1801469) (← links)
- Performance evaluation in stochastic process algebra dtsdPBC (Q2058309) (← links)
- Formal specification and verification of decentralized self-adaptive systems using symmetric nets (Q2063102) (← links)
- A modeling approach for estimating performance and energy consumption of storage systems (Q2136852) (← links)
- Discrete time stochastic and deterministic Petri box calculus dtsdPBC (Q2212703) (← links)
- Logical characterization of fluid equivalences (Q2323132) (← links)
- A simplified framework for stochastic workflow networks (Q2389516) (← links)
- Equivalences for fluid stochastic Petri nets (Q2403677) (← links)
- Reliability modelling of medium voltage distribution systems of nuclear power plants using generalized stochastic Petri nets (Q2494792) (← links)
- Dependable virtual network mapping (Q2517301) (← links)
- Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC (Q2633503) (← links)
- Specifications and solution techniques for non-Markovian stochastic Petri nets (Q2765690) (← links)
- History-Dependent Stochastic Petri Nets (Q3402290) (← links)
- (Q3683544) (← links)
- (Q4250953) (← links)
- (Q4549628) (← links)
- Stochastic Petri Nets (Q4553270) (← links)
- (Q4784053) (← links)
- Analysis of Petri Net Models through Stochastic Differential Equations (Q5166769) (← links)
- A Semantics for Every GSPN (Q5300867) (← links)
- (Q5472940) (← links)
- Lectures on Concurrency and Petri Nets (Q5712295) (← links)
- Applications and Theory of Petri Nets 2004 (Q5712361) (← links)
- Applications and Theory of Petri Nets 2005 (Q5713498) (← links)
- (Q5715542) (← links)
- Implementing compositionality for stochastic Petri nets (Q5953458) (← links)
- Computing with chemical reaction networks: a tutorial (Q6150974) (← links)
- Stochastic decision Petri nets (Q6535196) (← links)
- Performance preserving equivalence for stochastic process algebra dtsdPBC (Q6587404) (← links)
