Introduction to generalized stochastic Petri nets

DOI10.1007/978-3-540-72522-0_3MaRDI QIDQ3084588zbMATH OpenOpenAlexFDO

Authors Gianfranco Balbo

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

Mathematics Subject Classification ID

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)

Cited in

(34)

• Performance evaluation in stochastic process algebra dtsdPBC
• Generalized stochastic networks with non-standard events execution disciplines
• Discrete time stochastic and deterministic Petri box calculus dtsdPBC
• Logical characterization of fluid equivalences
• Performance optimization for a class of generalized stochastic Petri nets
• Equivalences for fluid stochastic Petri nets
• Reliability modelling of medium voltage distribution systems of nuclear power plants using generalized 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
• Performance analysis of concurrent systems in algebra dtsiPBC
• Branching Processes of General Petri Nets
• Generalized stochastic Petri net modeling and analysis of multi-echelon support systems
• Hybrid Petri nets with diffusion that have into-mappings with generalised stochastic hybrid processes
• Reducing the series-parallel structure of the normal generalized stochastic Petri nets
• Generalized M-Timed Petri Nets And Performance Evaluation Of Computer Systems
• Petri nets with k simultaneously enabled generally distributed timed transitions
• scientific article; zbMATH DE number 1786473 (Why is no real title available?)
• scientific article; zbMATH DE number 1786479 (Why is no real title available?)
• Computational challenges in systems biology
• scientific article; zbMATH DE number 1843158 (Why is no real title available?)
• scientific article; zbMATH DE number 763717 (Why is no real title available?)
• scientific article; zbMATH DE number 822223 (Why is no real title available?)
• A generalized stochastic Petri-net model for performance analysis and allocation optimization of a particular repair system
• scientific article; zbMATH DE number 1424143 (Why is no real title available?)
• A semantics for every GSPN
• Expressing and computing passage time measures of GSPN models with HASL
• Lectures on Concurrency and Petri Nets
• Applications and Theory of Petri Nets 2005
• Petri nets for modelling metabolic pathways: a survey
• Efficient handling of Phase-type distributions in generalized stochastic Petri nets
• Performance preserving equivalence for stochastic process algebra dtsdPBC
• Integrating simulation and numerical analysis in the evaluation of generalized stochastic Petri nets
• A survey on performance evaluations in time-dependent Petri nets

Describes a project that uses

Uses Software

• GreatSPN
• GreatSPN 1.7

This page was built for publication: Introduction to generalized stochastic Petri nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3084588)