Keyword: symmetries

• Jorgensen, J.B.; Kristensen, L.M.:
  Computer aided verification of Lamport's fast mutual exclusion algorithm using colored Petri nets and occurrence graphs with symmetries. 1999.

• Junttila, T.A.:
  Finding symmetries of algebraic system nets. 1999.

• Jensen, Kurt:
  Condensed State Spaces for Symmetrical Coloured Petri Nets. 1996.

Back to the Petri Nets Bibliography