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 (Feb. 1997). DOI:https://doi.org/10.7146/dpb.v26i512.7041.