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! […]
Inhibitor and Reset Arcs in CPN Tools 4
In this video I show how inhibitor and reset arcs work in CPN Tools 4. […]
Looking Into the Future: A Priori Advice about Timed Declare Process Models
Presentation I’m giving in two weeks at CoopIS ((Yup, I’m crazy early!)). Be there in time or I’ll hire goons to come rough you up! The slides present this paper: [bibtex file=conferences.bib key=timeddeclare] […]
Read More… from Looking Into the Future: A Priori Advice about Timed Declare Process Models
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 […]
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 […]
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. […]