Modeling is not Just for Supermodels

Presentation I’ll give next Monday.  I went for a title which is catchy, but in the end turned out to not really have anything to do with the contents.  Then again, “Stuff about CPN Tools and Declare and Operational Support and How They All Fit Together and What I Did the Last Couple Months and […]

Read More… from Modeling is not Just for Supermodels

Process Mining Week 6: Operational Support and Declare Monitoring

This week is about simple operational support. Exercises: MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]

Read More… from Process Mining Week 6: Operational Support and Declare Monitoring

Process Mining Week 4: Declarative Models and Mining

This week is about Declare and mining of Declare models. Exercises for this week mostly concern getting started with the assignment but also trying out Declare. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]

Read More… from Process Mining Week 4: Declarative Models and Mining

Windows 8 and CPN Tools, Declare, and ProM

Frequent readers will know, I have posted about how CPN Tools, Declare, and ProM has been running on the developer preview and the consumer preview of Windows 8.  The short version was that CPN Tools and Declare run on bot 32 and 64 bit versions without problems.  ProM ran on 32 bit versions without problems […]

Read More… from Windows 8 and CPN Tools, Declare, and ProM

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

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!