How to calculate symmetries of Petri nets

• 1 January 2000
• journal article
• research article
• Published by Springer Nature in Acta Informatica
• Vol. 36  (7) , 545-590
• https://doi.org/10.1007/s002360050002

Abstract

Keywords

• EQUIVALENCE CLASS
• ACTUAL ANALYSIS
• SYMMETRY GROUP
• ANALYSIS ALGORITHM
• EFFICIENT IMPLEMENTATION