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/ […]
Tag: Rostock
Rostock By Night. And Day. Also, Hamburg.
In Hamburg, they have a church named the Petri church: When we there, they’d put a bunch of crap/crab on the back: Rostock also has a Petri church, which is the tallest building. When you get to the back, the city abruptly just stops: In Rostock, we went to the Petri keller for dinner. It’s […]
Introduction to CPN Tools
I’ve been doing demonstrations of CPN Tools for almost 10 years now. At first, I did demonstrations with Troels Bjerre Sørensen and later alone. Next week, I’m chairing a hands-on session with CPN Tools, and rather than doing demos again, I decided to condense some material from the CPN Tools help pages (old version here) […]