Keyword: state spaces

• Villapol, M.E.; Billington, J.:
  A Coloured Petri Net Approach to Formalising and Analysing the Resource Reservation Protocol. 2004.

• 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.

• Jensen, K.:
  An Introduction to the Practical Use of Coloured Petri Nets. 1998.

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

Back to the Petri Nets Bibliography