scientific article; zbMATH DE number 1786473
From MaRDI portal
Publication:4547765
zbMath0990.68092MaRDI QIDQ4547765
Publication date: 21 August 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2090/20900084
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (14)
A modeling approach for estimating performance and energy consumption of storage systems ⋮ Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC ⋮ A Semantics for Every GSPN ⋮ A simplified framework for stochastic workflow networks ⋮ Equivalences for fluid stochastic Petri nets ⋮ Computing with chemical reaction networks: a tutorial ⋮ Modeling and quantitatively predicting software security based on stochastic Petri nets ⋮ Discrete time stochastic and deterministic Petri box calculus dtsdPBC ⋮ Simplification of a complex signal transduction model using invariants and flow equivalent servers ⋮ Analysis of Petri Net Models through Stochastic Differential Equations ⋮ Dependable virtual network mapping ⋮ Performance evaluation in stochastic process algebra dtsdPBC ⋮ Formal specification and verification of decentralized self-adaptive systems using symmetric nets ⋮ Logical characterization of fluid equivalences
This page was built for publication: