Manual and Automatic Exploitation of Symmetries in SPN Models

DOI10.1007/3-540-69108-1_3MaRDI QIDQ6487386zbMATH OpenFDO

Authors Giovanni Chiola

Publication date 9 December 2022

Full work available at URL https://doi.org/10.1007/3-540-69108-1_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)

Recommendations

• Automatic Symmetry Detection in Well-Formed Nets
• Les Symétries dans les Réseaux de Petri Stochastiques (RdPS) Construction du Graphe Symbolique
• Symbolic reachability graph and partial symmetries
• scientific article; zbMATH DE number 1418460
• Employing symmetry reductions in model checking

Cites work

• A symbolic reachability graph for coloured Petri nets
• scientific article; zbMATH DE number 3145626 (Why is no real title available?)

Cited in

(2)

• scientific article; zbMATH DE number 1538046 (Why is no real title available?)
• A fluid analysis framework for a Markovian process algebra

This page was built for publication: Manual and Automatic Exploitation of Symmetries in SPN Models

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