scientific article; zbMATH DE number 1786473
From MaRDI portal
Publication:4547765
Recommendations
Cited in
(56)- History-dependent stochastic Petri nets
- A notion of equivalence for stochastic Petri nets
- Stochastic Petri Nets
- scientific article; zbMATH DE number 1424143 (Why is no real title available?)
- Sensitivity analysis and optimization of stochastic Petri nets
- Performance evaluation in stochastic process algebra dtsdPBC
- scientific article; zbMATH DE number 2243054 (Why is no real title available?)
- Formal specification and verification of decentralized self-adaptive systems using symmetric nets
- Reward modeling based on first order fluid stochastic Petri nets
- scientific article; zbMATH DE number 1822433 (Why is no real title available?)
- scientific article; zbMATH DE number 3918071 (Why is no real title available?)
- Piecewise deterministic Markov processes represented by dynamically coloured Petri nets
- Dependable virtual network mapping
- scientific article; zbMATH DE number 5033888 (Why is no real title available?)
- scientific article; zbMATH DE number 1843158 (Why is no real title available?)
- scientific article; zbMATH DE number 3905853 (Why is no real title available?)
- scientific article; zbMATH DE number 1790541 (Why is no real title available?)
- Specifications and solution techniques for non-Markovian stochastic Petri nets
- scientific article; zbMATH DE number 2087812 (Why is no real title available?)
- Reliability modelling of medium voltage distribution systems of nuclear power plants using generalized stochastic Petri nets
- Logical characterization of fluid equivalences
- Stochastic Petri nets sensitivity to token scheduling policies
- A new stochastic Petri net model and its applications to logistics systems
- scientific article; zbMATH DE number 1304239 (Why is no real title available?)
- Discrete time stochastic and deterministic Petri box calculus dtsdPBC
- A modeling approach for estimating performance and energy consumption of storage systems
- A semantics for every GSPN
- Modeling and quantitatively predicting software security based on stochastic Petri nets
- Approximation of the asymptotic mean marking of SPNs with contPNs
- scientific article; zbMATH DE number 763717 (Why is no real title available?)
- Discrete Time Stochastic Petri Nets
- Modeling discrete event systems with state-dependent deterministic service times
- Implementing compositionality for stochastic Petri nets
- Lectures on Concurrency and Petri Nets
- Stochastic decision Petri nets
- Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC
- scientific article; zbMATH DE number 2042797 (Why is no real title available?)
- scientific article; zbMATH DE number 1755134 (Why is no real title available?)
- Introduction to generalized stochastic Petri nets
- Efficient decomposition algorithm for stationary analysis of complex stochastic Petri net models
- Applications and Theory of Petri Nets 2004
- scientific article; zbMATH DE number 2020760 (Why is no real title available?)
- scientific article; zbMATH DE number 1786479 (Why is no real title available?)
- Applications and Theory of Petri Nets 2005
- Computing with chemical reaction networks: a tutorial
- Equivalences for fluid stochastic Petri nets
- Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms
- Analysis of Petri net models through stochastic differential equations
- Simplification of a complex signal transduction model using invariants and flow equivalent servers
- A method to abstract a stochastic Petri net.
- Modeling transmission of directly transmitted infectious diseases using colored stochastic Petri nets
- A simplified framework for stochastic workflow networks
- Performance analysis of new stochastic colored Petri nets
- scientific article; zbMATH DE number 1629918 (Why is no real title available?)
- Petri nets. Fundamental models, verification and applications.
- Performance preserving equivalence for stochastic process algebra dtsdPBC
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4547765)
