MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Read More… from Towards Verifying Parallel Algorithms using Coloured Petri Nets
Tag: Parallel computation
Slides from Advanced Course on Petri Nets
During the Advanced Course on Petri Nets in Rostock, I used these two small presentations: Routing and Dynamic Reconfiguration in Mobile Ad-hoc Networks Parallel State-space Generation MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]