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] MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Read More… from Looking Into the Future: A Priori Advice about Timed Declare Process Models
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 […]
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 […]
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/ […]
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
Here, 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 the report manually, CPN Tools keeps track of which steps have been performed and automatically performs any outstanding steps. This makes it possible […]
Read More… from Simplified State Space Analysis in CPN Tools 4