Iterative Decomposition and Aggregation of Labeled GSPNs

DOI10.1007/3-540-69108-1_13zbMath1510.68053MaRDI QIDQ6487394

Peter Buchholz

Publication date: 9 December 2022

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)

Related Items (3)

Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC ⋮ Equivalences for fluid stochastic Petri nets ⋮ Logical characterization of fluid equivalences

Cites Work

• Unnamed Item
• Unnamed Item
• Approximate throughput computation of stochastic marked graphs
• Superposed stochastic automata: a class of stochastic Petri nets with parallel solution and distributed state space
• Complete decomposition of stochastic Petri nets representing generalized service networks
• A notion of equivalence for stochastic Petri nets

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