Jørgensen, Jens Bæk, and Lars Michael Kristensen. 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.