Introduction to Generalized Stochastic Petri Nets
From MaRDI portal
Publication:3084588
DOI10.1007/978-3-540-72522-0_3zbMath1323.68400MaRDI 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
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68Q87: Probability in computer science (algorithm analysis, random structures, phase transitions, etc.)
Related Items
A Semantics for Every GSPN, Performance analysis of concurrent systems in algebra dtsiPBC, Computational challenges in systems biology, Petri nets for modelling metabolic pathways: a survey, Performance evaluation in stochastic process algebra dtsdPBC, Discrete time stochastic and deterministic Petri box calculus dtsdPBC, Logical characterization of fluid equivalences, Equivalences for fluid stochastic Petri nets, Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC, Nondeterministic probabilistic Petri net -- a new method to study qualitative and quantitative behaviors of system, Performance safety enforcement in stochastic event graphs against boost and slow attacks
Uses Software