[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/ […]
This part of the introduction to CPN Tools extensions is by far the more fun one. It deals with graphics and callbacks. It makes it possible to draw graphics directly in CPN Tools from an extension and to make hooks models can use to do that. This in essence is a higher-level version of Mimic/CPN […]
Read More… from CPN Tools 4 Extensions: Part 3: Graphics and Callbacks
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
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
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, […]
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. […]