A notion of equivalence for stochastic Petri nets

DOI10.1007/3-540-60029-9_39zbMath1496.68220OpenAlexW2135991677MaRDI QIDQ5096363

Peter Buchholz

Publication date: 16 August 2022

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-60029-9_39

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

Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC ⋮ Equivalences for fluid stochastic Petri nets ⋮ Bisimulation relations for weighted automata ⋮ Exact performance equivalence: An equivalence relation for stochastic automata ⋮ Logical characterization of fluid equivalences

Cites Work

• A symbolic reachability graph for coloured Petri nets
• Kronecker products and shuffle algebra
• On the solution of GSPN reward models
• Superposed stochastic automata: a class of stochastic Petri nets with parallel solution and distributed state space
• Exact and ordinary lumpability in finite Markov chains
• A Compositional Approach to Performance Modelling
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A notion of equivalence for stochastic Petri nets