Introduction to Generalized Stochastic Petri Nets
From MaRDI portal
Publication:3084588
DOI10.1007/978-3-540-72522-0_3zbMath1323.68400OpenAlexW2123610695MaRDI QIDQ3084588
Publication date: 25 March 2011
Published in: Formal Methods for Performance Evaluation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-72522-0_3
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items (11)
Performance analysis of concurrent systems in algebra dtsiPBC ⋮ Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC ⋮ A Semantics for Every GSPN ⋮ Nondeterministic probabilistic Petri net -- a new method to study qualitative and quantitative behaviors of system ⋮ Equivalences for fluid stochastic Petri nets ⋮ Performance safety enforcement in stochastic event graphs against boost and slow attacks ⋮ Petri nets for modelling metabolic pathways: a survey ⋮ Discrete time stochastic and deterministic Petri box calculus dtsdPBC ⋮ Computational challenges in systems biology ⋮ Performance evaluation in stochastic process algebra dtsdPBC ⋮ Logical characterization of fluid equivalences
Uses Software
This page was built for publication: Introduction to Generalized Stochastic Petri Nets
