Custom Dining Philosophers Visualization in CPN Tools using Simulator Extensions

User-contributed simulator extension making neat visualizations in CPN Tools. Here we see the dining philosophers with a pedagogical illustration all running inside CPN Tools. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]

Read More…

CPN Tools 4.0.1 and Windows 10

I made a fresh new version of CPN Tools, version 4.0.1.  The change over 4.0.0 is a freshly compiled simulator compiled with the newest SML/NJ (version 110.78) and the newest version of Cygwin. This should hopefully remove problems with newer versions of Windows (except they are still, even with the OS X aspiring Windows 10 […]

Read More…

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…