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…

Nested Transactions and Dining Philosophers

So, here’s an interesting Java issue I came about last week. Java EE supports annotating methods using an @Transactional annotation.  If you’re familiar with it, it’s similar to the synchronized keyword except on the database level.  It also is if you’re not familiar with synchronized. Transactional supports setting how transactions should be picked up – […]

Read More…

Is Google’s Go-bot a Breakthrough for Artificial Intelligence?

If you know Betteridge’s Law of Headlines, you immediately know the answer is “no.”  The answer, much like kids, is not really the interesting part however; what is interesting is the process of getting there. Go, like chess and most other games, has been conceptually solved for many years.  So many that I as a […]

Read More…

Improved Paradigm for Analysis, Verification and Data Retention of CPNs using CPNaaS

Design/CPN was the first tool supporting computer-based editing and simulation of colored Petri nets. It was later extended with a for the time powerful state-space analysis tool. CPN Tools improved on Design/CPN by merging the editing and simulation phases, vastly speeding up the modeling phase because simple errors could be found and fixed very quickly. […]

Read More…