Modelling with Finite State Machines: Vending machine
Petri net synthesis: Concurrent vending machine
Modelling with Petri nets: Dining philosophers
Modelling with STGs: Distributed Mutual Exclusion
Modelling with STGs: Writer-biased read/write lock
Modelling Genetic Regulatory Networks with STGs: Lysis-Lysogeny switch in Phage λ
Optimising asynchronous pipelines using wagging
Verification of temporal properties of asynchronous systems