Declare Mining for Dummies

[bibshow file=tech.bib]Probably my last presentation at TU/e: simple, general, and fast Declare mining.  Much of this is in [bibcite key=megaminertech,megaminerfase] (not online yet at the time of writing). [/bibshow] MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]

Read More… from Declare Mining for Dummies

CPN Tools 4: Time Intervals and Time Reduction

CPN Tools has supported timed models almost since the first releases.  Starting with version 3, we introduced models where we allowed the time stamp to be a real value, making it simpler to make simulation-based analysis.  CPN Tools allows choosing time stamps from an interval but in a manner that still allows state-space analysis. Time […]

Read More… from CPN Tools 4: Time Intervals and Time Reduction

CPN Tools 4 Extensions: Part 2: Getting Started and Basic Abstractions

We have already covered the basics of extensions for CPN Tools 4 in Part 1. In this part we’ll go thru setting up for development. We’ll also cover some of the basic abstractions, including depending on other extensions, and adding options and instruments to the CPN Tools GUI. […]

Read More… from CPN Tools 4 Extensions: Part 2: Getting Started and Basic Abstractions

CPN Tools 4: Message Sequence Charts

While colored Petri nets are graphical, they are also quite complex to explain to non-experts. This has previously been addressed by domain-specific visualizations (see also Mimic/CPN and the BRITNeY Suite).  One particularly useful visualization is message sequence charts.  This visualization is so useful, it has previously been implemented for Design/CPN, the predecessor of CPN Tools, […]

Read More… from CPN Tools 4: Message Sequence Charts

CPN Tools 4 Extensions: Part 1: Basics

By far, the biggest new feature in CPN Tools 4 is simulator extensions. Simulator extensions makes it possible to add functionality to CPN Tools written in Java. This feature describes the basics of simulator extensions: their architecture, the available communication patterns, and the Java interface for extensions. […]

Read More… from CPN Tools 4 Extensions: Part 1: Basics

CPN Tools 4: Minor Features

Aside from the big new features, CPN Tools 4 also introduces a lot of useful minor features.  Here is a mixed grab-bag of those.  In this post, I’ll show the new model statistics, new simulation stop criteria, and the simplified state-space analysis. Model Statistics It is often useful to know some statistics of a model […]

Read More… from CPN Tools 4: Minor Features