Jørgensen, J. B.; Kristensen, L. M. Computer Aided Verification of Lamport’s Fast Mutual Exclusion Algorithm - Using Coloured Petri Nets and Occurrence Graphs With Symmetries. DPB 1997, 26.