The following pages link to Stochastic Petri Nets (Q4553270):
Displaying 49 items.
- Extending propositional dynamic logic for Petri nets (Q281154) (← links)
- Analytical and stochastic modelling techniques (Q291302) (← links)
- About the stochastic and continuous Petri nets equivalence in the long run (Q417726) (← links)
- Uniform and Bernoulli measures on the boundary of trace monoids (Q491977) (← links)
- Markovian dynamics on complex reaction networks (Q740680) (← links)
- Analysis of multi-agent activity using Petri nets (Q962724) (← links)
- Structured construction and simulation of nondeterministic stochastic activity networks (Q1027622) (← links)
- A new stochastic Petri net model and its applications to logistics systems (Q1029570) (← links)
- Extended stochastic Petri net models for systems with parallel and cooperative motions (Q1206117) (← links)
- Fluid stochastic Petri nets: Theory, applications, and solution techniques (Q1291721) (← links)
- Blocking a transition in a free choice net and what it tells about its throughput. (Q1401959) (← links)
- Modeling transmission of directly transmitted infectious diseases using colored stochastic Petri nets (Q1408743) (← links)
- Stochastic representations of ion channel kinetics and exact stochastic simulation of neuronal dynamics (Q1732662) (← links)
- Sensitivity analysis and optimization of stochastic Petri nets (Q1801469) (← links)
- Representation and analysis of behavior for multiprocess systems by using stochastic Petri nets (Q1905861) (← links)
- Formal reasoning about finite-state discrete-time Markov chains in HOL (Q2434565) (← links)
- State equations of stochastic timed Petri nets with informational relations (Q2452747) (← links)
- True-concurrency probabilistic models: Markov nets and a law of large numbers (Q2474051) (← links)
- Multi-tasking arbitration and behaviour design for human-interactive robots (Q2873078) (← links)
- Equivalences for stochastic Petri nets and stochastic process algebra (Q2883054) (← links)
- Modelling the protocol stack in NCS with deterministic and stochastic petri net (Q3006246) (← links)
- FORMALISMS FOR SPECIFYING MARKOVIAN POPULATION MODELS (Q3016219) (← links)
- On Functional Central Limit Theorems for Semi-Markov and Related Processes (Q3155274) (← links)
- Extended Stochastic Petri Nets for Model-Based Design of Wetlab Experiments (Q3642953) (← links)
- Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back (Q3642958) (← links)
- Formalisms for Specifying Markovian Population Models (Q3646248) (← links)
- Critical Paths in the Partial Order Unfolding of a Stochastic Petri Net (Q3648819) (← links)
- (Q3683544) (← links)
- Symmetric stochastic Petri nets (Q3776639) (← links)
- (Q3833667) (← links)
- Passage times in colored stochastic petri nets (Q4034543) (← links)
- (Q4251689) (← links)
- Perturbation analysis of stochastic Petri nets (Q4395814) (← links)
- (Q4547765) (← links)
- (Q4549628) (← links)
- (Q4784053) (← links)
- Estimation Methods for Delays in Non-regenerative Discrete-Event Systems (Q4798098) (← links)
- Structured Cospans (Q5137917) (← links)
- Risk Modeling in Process Industries by Stochastic Petri Nets (Q5259794) (← links)
- On Transience and Recurrence in Irreducible Finite-State Stochastic Systems (Q5270746) (← links)
- A compositional framework for reaction networks (Q5370837) (← links)
- Laws of Large Numbers and Functional Central Limit Theorems for Generalized Semi-Markov Processes (Q5478905) (← links)
- (Q5715542) (← links)
- Role of stochastic Petri net (SPN) in process discovery for modelling and analysis (Q6484107) (← links)
- Stochastic decision Petri nets (Q6535196) (← links)
- Equilibrium analysis of Markov regenerative processes (Q6546453) (← links)
- Confusion-tolerant computation of probability in acyclic nets (Q6550568) (← links)
- Mean-payoff optimization in continuous-time Markov chains with parametric alarms (Q6600073) (← links)
- Higher-order coverage errors of batching methods via Edgeworth expansions on \(t\)-statistics (Q6621527) (← links)
