Jørgensen, J. B. and Kristensen, L. M. (1997) “Computer Aided Verification of Lamport’s Fast Mutual Exclusion Algorithm - Using Coloured Petri Nets and Occurrence Graphs with Symmetries”, DAIMI Report Series, 26(512). doi: 10.7146/dpb.v26i512.7041.