I may or may not change the title in the final version. The talk is about modeling and analysis.
Archive of posts filed under the Uncategorized category.
New CPN Tools Logo
It’s been more than 8 years ago since I hastily mashed together a logo for CPN Tools. For the upcoming version 3.0 of CPN Tools, I decided to create a new logo in the same tradition (hastily thrown together). I also made versions for low-resolution icons and three tall versions (neither of which I’m not [...]
First results from Java CPN simulator
I’ve compiled my first declarations in my new Java CPN simulator. As proof, I’ve added a erroneous declaration which is displayed with an error while the three declarations without error are displayed as correct. I even show a neat error message on the erroneous declaration. All of this has been accomplished without a single change [...]
