Note: This is just a partial post. It has been hiding in my posting queue for more than a year, and I finally decided to just publish it as is, as it is highly unlikely I’ll finish it. This is the last part on […]
Category: CPN Tools 4 Tutorial
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 […]
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 […]
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 […]
CPN Tools 4 Extensions: Part 2: Getting Started and Basic Abstractions
We’ll also cover some of the basic abstractions, including depending on other extensions, and adding options and instruments to the CPN Tools GUI. […]
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 […]