CPN Tools 4 Extensions: Part 4: Advanced Communication and Debugging

In this part we look at more advanced communication.  Previous parts assume little knowledge of the inner workings of CPN Tools, and allow you to make extensions almost as if you wrote regular Java programs.  Lying under all the abstractions is a very versatile communication protocol, which allows very elaborate extensions. This part gives an […]

Read More…

CPN Tools 4 Extensions: Part 3: Graphics and Callbacks

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…

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…

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…

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…