Automatic Symmetry Detection in Well-Formed Nets
From MaRDI portal
Publication:3550614
DOI10.1007/3-540-44919-1_9zbMath1274.68257MaRDI 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
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Towards Efficient Verification of Systems with Dynamic Process Creation, Methods for Efficient Unfolding of Colored Petri Nets, Solving high-level Petri games, Improvements in unfolding of colored Petri nets, Optimized Colored Nets Unfolding
Uses Software