Towards Verifying Parallel Algorithms using Coloured Petri Nets Posted on June 22, 2011 (April 29, 2023) by Michael MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/