Automatic Symmetry Detection in Well-Formed Nets

DOI10.1007/3-540-44919-1_9zbMath1274.68257OpenAlexW1518904286MaRDI QIDQ3550614

Claude Dutheillet, Yann Thierry-Mieg, Isabelle Mounier

Publication date: 31 March 2010

Published in: Applications and Theory of Petri Nets 2003 (Search for Journal in Brave)

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

zbMATH Keywords

symmetry detectionpartial symmetrysymbolic model-checkingwell-formed Petri nets

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (5)

Solving high-level Petri games ⋮ Methods for Efficient Unfolding of Colored Petri Nets ⋮ Improvements in unfolding of colored Petri nets ⋮ Optimized Colored Nets Unfolding ⋮ Towards Efficient Verification of Systems with Dynamic Process Creation

Uses Software

• GreatSPN
• CPN-AMI

This page was built for publication: Automatic Symmetry Detection in Well-Formed Nets