Symbolic reachability graph and partial symmetries

DOI10.1007/3-540-60029-9_43MaRDI QIDQ5096366zbMATH OpenOpenAlexFDO

Authors Serge Haddad, J.-M. Ilié, M. Taghelit, Belhassen Zouari

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_43

zbMATH Keywords

partial symmetrieswell-formed Petri netssymbolic reachability graphs

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Les Symétries dans les Réseaux de Petri Stochastiques (RdPS) Construction du Graphe Symbolique
• A symbolic reachability graph for coloured Petri nets
• scientific article; zbMATH DE number 4213468
• Automatic Symmetry Detection in Well-Formed Nets
• Efficient reachability graph representation of Petri nets with unbounded counters

Cites work

• scientific article; zbMATH DE number 3825181 (Why is no real title available?)
• A symbolic reachability graph for coloured Petri nets
• Reachability trees for high-level Petri nets

Cited in

(9)

• Canonical representations for direct generation of strategies in high-level Petri games
• Les Symétries dans les Réseaux de Petri Stochastiques (RdPS) Construction du Graphe Symbolique
• Approximate Symbolic Reachability of Networks of Transition Systems
• Solving high-level Petri games
• Introducing symmetry to graph rewriting systems with process abstraction
• Computational complexity of the place/transition-net symmetry reduction method
• scientific article; zbMATH DE number 1538046 (Why is no real title available?)
• Manual and Automatic Exploitation of Symmetries in SPN Models
• Balancedness and coboundaries in symbolic systems

This page was built for publication: Symbolic reachability graph and partial symmetries

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