Archive for August, 2012
Looking Into the Future: A Priori Advice about Timed Declare Process Models
Presentation I’m giving in two weeks at CoopIS1). Be there in time or I’ll hire goons to come rough you up! The slides present this paper: M. Westergaard and F. Maggi, “Looking into the Future: Using Timed Automata to Provide A Priori Advice […]
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 […]
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 […]
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.
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 […]
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 […]
