Iterative Decomposition and Aggregation of Labeled GSPNs

DOI10.1007/3-540-69108-1_13MaRDI QIDQ6487394zbMATH OpenFDO

Authors Peter Buchholz

Publication date 9 December 2022

Full work available at URL https://doi.org/10.1007/3-540-69108-1_13

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)

Recommendations

• scientific article; zbMATH DE number 19255
• scientific article; zbMATH DE number 19256
• Matrix- and state space reduced procedures for the performance evaluation of large stochastic Petri nets.
• scientific article; zbMATH DE number 3918071
• scientific article; zbMATH DE number 4201652

Cites work

• A notion of equivalence for stochastic Petri nets
• Approximate throughput computation of stochastic marked graphs
• Complete decomposition of stochastic Petri nets representing generalized service networks
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1445805 (Why is no real title available?)
• Superposed stochastic automata: a class of stochastic Petri nets with parallel solution and distributed state space

Cited in

(11)

• Logical characterization of fluid equivalences
• Equivalences for fluid stochastic Petri nets
• Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC
• Efficient decomposition algorithm for stationary analysis of complex stochastic Petri net models
• scientific article; zbMATH DE number 3918071 (Why is no real title available?)
• scientific article; zbMATH DE number 19255 (Why is no real title available?)
• scientific article; zbMATH DE number 1285311 (Why is no real title available?)
• Complete decomposition of stochastic Petri nets representing generalized service networks
• Matrix- and state space reduced procedures for the performance evaluation of large stochastic Petri nets.
• Applications and Theory of Petri Nets 2005
• Performance preserving equivalence for stochastic process algebra dtsdPBC

This page was built for publication: Iterative Decomposition and Aggregation of Labeled GSPNs

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