Work | Michaelpedia Galactica

Operational Support vs. Predator

Posted on October 7, 2010 (May 18, 2018) by Michael

After a poll on Facebook and Twitter, the name of the new version of operational support was determined to appropriately be Operational Support vs. Predator — it may seem like we are just cashing in on two fan-bases, but, hey, if it sells! MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]

Introduction to CPN Tools

Posted on September 14, 2010 (May 18, 2018) by Michael

I’ve been doing demonstrations of CPN Tools for almost 10 years now. At first, I did demonstrations with Troels Bjerre Sørensen and later alone. Next week, I’m chairing a hands-on session with CPN Tools, and rather than doing demos again, I decided to condense some material from the CPN Tools help pages (old version here) […]

Tentative Title

Posted on September 9, 2010 (May 18, 2018) by Michael

I may or may not change the title in the final version. The talk is about modeling and analysis. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]

New CPN Tools Logo

Posted on September 5, 2010 (May 18, 2018) by Michael

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 […]

Real Time and Transition Priorities in CPN Tools

Posted on August 2, 2010 (May 18, 2018) by Michael

Some months ago, Eric Verbeek and I worked together on adding a couple features to CPN Tools with the primary focus of getting Eric started with maintaining CPN Tools. Today I released a new version of CPN Tools with those features, namely real time stamps and transition priorities. See the demo here: Note that whenever […]

Memory Leaks in Java Code

Posted on July 31, 2010 (October 20, 2021) by Michael

I’m working on some Java code I’ve inherited. I’m doing some speed improvements in critical places, and to test my improvements, I need test cases to compare different implementations. Unfortunately, manually generating test cases is way too time consuming (need need thousands and generating one manually takes minutes or even hours). Unfortunately, randomly generated test […]