It’s a shame I’m not superstitious – otherwise I’d have a field day with the fact that my room is number 1313 on floor 13. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Author: Michael
- Website
- https://westergaard.eu/
- About Michael
- Time person of the year 2006, Nobel Peace Prize winner 2012.
Posts by Michael
Hi iTunes, why would you play Dragostea Din Tei when I’m not drunk? I’m pretty sure nobody would want that ever, so it must be an error in the random function. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
The Final Countdown
Have some über-important countdowns: Job Interview [tminus t=”2013-09-06 14:00:00″ id=”job-event” omitweeks=”true”]My job interview has already started or passed! Here\’s hoping it went well![/tminus] iPhone 5S Event [tminus t=”2013-09-10 19:00:00″ id=”iphone-event” omitweeks=”true”]The Apple iPhone event has already started or passed![/tminus] All Eyes on Me [tminus t=”2013-09-17 14:30:00″ id=”aeom-event” omitweeks=”true”]The Britney Spears All Eyes on Me event has already started […]
How to recognize an Apple product, redux
How to recognize an Apple product, redux: it’s shiny, it has an Apple logo, and after use it makes you look good. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
CPN Tools 4: Place-Transition Petri Nets
CPN Tools is usually known for modeling with colored Petri nets. Colored Petri nets augment standard place-transition Petri nets (PT-nets) with data types, and as such are a real extension that can easily embed PT-nets. PT-nets come with a couple extensions that are crucial for this lower-level formalism, but which can be emulated in colored […]
CPN Tools 4: Declare Constraints
CPN Tools 4 merges the colored Petri net language with the Declare language. Declare was previously supported in its own tool, also named Declare. Everything herein can be done with CPN Tools pre-releases starting from 3.9.2; get your copy here. In colored Petri nets, the control flow is either dependent on data or on explicit […]