Web Comics

This is why I don’t write and publish web-comics.  Apologies to DNA and anybody with a sense of humor.  For more reasons, I don’t make comics, read my fatty comics and my progress comics.  Though really, don’t! MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]

Read More… from Web Comics

App.net

Because I’m young and hip, I signed up for app.net.  It’s like Twitter, except you have to pay for it.  The idea is that if you pay, you are the customer instead of the product, which (the theory dictates) gets rid of annoying advertising and selling your personal information. I found another great innovation in […]

Read More… from App.net

Unparallelled

Maybe I’m just easily amused, but today is Parallels day.  I naturally upgraded like so many times before.  I just received my registration information and got amused as Mail automatically grouped the registration with a couple previous receipts.  It’s funny to see how (and how little) the message has changed over the years.  Also, it […]

Read More… from Unparallelled

Proof by Timeline

Making slides.  Decidability result: Edit: Ffffuuuuu…! This doesn’t work.  Have to change precedence to response (I think that works at least…) Edit 2: This works.  Wrong version below. Edit 2: Wrong stuff below; it is actually possible to make this bounded. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]

Read More… from Proof by Timeline

Simplified State Space Analysis in CPN Tools 4

You may already have seen the user-interface for the new state-space workflow in CPN Tools 4; this is what it looks like in action. I show how CPN Tools 4 simplifies the workflow when generating state-spaces; rather than having to go thru entering the state-space tool, generating the state-space, generating the SCC graph, and saving […]

Read More… from Simplified State Space Analysis in CPN Tools 4

Look at the Petri Colors!

You may have discovered I’m merging Declare with CPN Tools (mostly because I cannot shut up about it).  Right now, I’m facing a problem…  Merging two super-overlapping color schemes. CPN Tools uses colors to identify various statuses of elements.  The most important (as in I don’t remember whether there are others…) are: The top row […]

Read More… from Look at the Petri Colors!