scientific article; zbMATH DE number 19255

MaRDI QIDQ3976689zbMATH OpenFDO

Authors Gianfranco Ciardo, Kishor S. Trivedi

Publication date 26 June 1992

zbMATH Keywords

Markov chainsoftware packagesstochastic Petri netsconvergence of the fixed-point iterative schemesdecomposing a net into subnets

Mathematics Subject Classification ID

Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Continuous-time Markov processes on discrete state spaces (60J27) Applications of Markov renewal processes (reliability, queueing networks, etc.) (60K20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• On the solution of GSPN reward models
• Iterative Decomposition and Aggregation of Labeled GSPNs
• scientific article; zbMATH DE number 4201652
• scientific article; zbMATH DE number 714455

Cited in

(12)

• GSPN models of dual-band GSM networks
• Complete decomposition of stochastic Petri nets representing generalized service networks
• Applications and Theory of Petri Nets 2005
• A distributed algorithm for GSPN reachability graph generation
• Iterative Decomposition and Aggregation of Labeled GSPNs
• Reliability modelling of medium voltage distribution systems of nuclear power plants using generalized stochastic Petri nets
• The numerical solution of stochastic automata networks
• A semantics for every GSPN
• Symbolic Methods for the State Space Exploration of GSPN Models
• Complete decomposition of stochastic Petri nets representing generalized service networks
• Solving systems of bilinear equations for transition rate reconstruction
• Product form approximations for highly linear loss networks with trunk reservation

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 Q3976689)