Just had an obscure dream. In the dream, I had a dream about the names and structures of the oceans. In the innermost dream, I somehow located three oceans beneath Australia, one with contours looking like a storm trooper, one looking like and old man, and one looking like a kids’ playground. At least I […]
How to Make a System Administrator Cry
I want to replace Apache by nginx, but I don’t want to do a big conversion in one step. Hence, this is what my webserver looks like now. Previously Apache was the frontend but now nginx is taking over the role with Apache being phased slowly out whenever-the-fuck-I-feel-like-it. After I switched to php-fpm and FastCGI, […]
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 […]
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 […]
Simple Declare Editing in CPN Tools 4
Here I demonstrate simple editing of Declare in CPN Tools 4; we notice that enabling is updated as I simulate and alter the constraints. For a full description of the facility, refer to https://westergaard.eu/2013/08/cpn-tools-4-declare-constraints/ […]