Simulator Extensions in CPN Tools (Part 1)

In this video, I show examples of the new simulator extensions in CPN Tools 4. The Hello World example comprises 182 lines of (mostly GUI) code and showcases how an extension can get notifications when changes are made to a model. The Declare example comprises 240 lines of code shows how we can alter the […]

Read More…

Cost-Effective Testing of Operational Support Algorithms Using CP-nets

Presentation I’m going to give at the Petri Nets conference Friday next week. Be there or be two right isosceles triangles glued together at the hypothenuse. (The slides are subject to minor changes; changes will be applied to the embedded version without further notice.) MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. […]

Read More…

Grade/CPN: Semi-automatic Support for Teaching CP-nets

Presentation I’m going to give at PNSE early next week.  Be there or be an equilateral quadrangle. See more about Grade/CPN on the CPN Tools homepage. (The slides are subject to minor changes; changes will be applied to the embedded version without further notice.) MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. […]

Read More…

A Fresh View on Alignments

Presentation from AIS meeting on alignments. We basically provide a formal foundation for alignments, which builds on well-known concepts in theoretical computer science.  Our definitions are compatible with previous definitions for alignments (by Arya and Boudewijn), and we use the formal foundation to provide several directions for future work as well current new possibilities and […]

Read More…

Proposal for Inspector for Properties of Canvas-like Visualizations in ProM 6

While ProM does not contain editors, it does contain many graphical visualizations.  A non-trivial subset of these are canvas-like in nature, a very prominent example being graph-like visualizations.  One of the graph-like visualizations is the Petri net visualizer.  Canvas-like visualizations share the property that they are scalable – a fact that is often needed to […]

Read More…