Tutorial on ASAP

I'm currently working on a tutorial for ASAP, the tool I'm working on at work.  The tutorial is a mixture of slides and video demonstrations.  You can see the four videos, I've currently done below: MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]

Read More… from Tutorial on ASAP

Legacy Code

I’m currently working on making CPN Tools, a tool for editing and simulating coloured Petri nets (CP-nets or CPNs), work on Windows 7 64-bit versions.
Problem the first: Nobody has compiled CPN Tools in 2-3 years. In order to compile, we need a specially patched version of the Beta compiler and the linker from Microsoft Visual Studio 6.
Problem the fourth: The crap didn’t run. I even tested the file before making the build image. All I got was a “Beta Execution Aborted, Reference is NONE” (basically a null-pointer error or segmentation fault). […]

Read More… from Legacy Code

ASAP demo

Quick introduction to ASAP 1.1 testing (Jun 2009), a state space exploration tool developed by the CPN Group at Aarhus University. ASAP is available free of charge from http://www.daimi.au.dk/~ascoveco/download.html This video shows how to create a project, import a model, create a simple job for checking for dead-locks, and how to execute that job. MichaelTime […]

Read More… from ASAP demo