J. B. Jørgensen and L. M. Kristensen, “Computer Aided Verification of Lamport’s Fast Mutual Exclusion Algorithm - Using Coloured Petri Nets and Occurrence Graphs with Symmetries”, DPB, vol. 26, no. 512, Feb. 1997.