Jørgensen, J. B., & 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). https://doi.org/10.7146/dpb.v26i512.7041