One Step Away from the Vapor: Closer to Model-based Testing

About a week ago, I started writing about model-based testing.  Now, 4561 lines of Java code later, I’m well underway implementing the tool.  It is still in the early phases, but I wanted to give a sneak peek of what it can do so far. […]

Read More… from One Step Away from the Vapor: Closer to Model-based Testing

CPN Tools demo at Petri nets 2001

If that’s not the CPN Tools demo at the Petri nets conference in June 2001 in Newcastle, I don’t know what is… Featuring: 3D monitor technology and overhead projector. If you look carefully, you can see two mouse cursors. That’s right: multi-input 6 years before the iPhone made it mainstream. […]

Read More… from CPN Tools demo at Petri nets 2001

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… from Custom Dining Philosophers Visualization in CPN Tools using Simulator Extensions

Debugging and Visualization in CPN Tools 4

In this video I demo the new protocol debugger and the capability to remote control the CPN Tools GUI. This ability is put to use to make a nice visualization. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]

Read More… from Debugging and Visualization in CPN Tools 4

PNML Export and Minor Features

In this video, I showcase the new PNML export in CPN Tools 3.5.4 and newer. I also show the new simplified automatic alignment and the simplified load/save tools. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]

Read More… from PNML Export and Minor Features

Time Intervals and Reduction

Time intervals and time-equivalence reduction in CPN Tools 4. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]

Read More… from Time Intervals and Reduction