Author Archive: Michael

rss feed

Author's Website →

Declare Models in CPN Tools

Declare Models in CPN Tools

As we’ve already mentioned, Declare will cease to exist as we know it now, but continue living on inside CPN Tools, providing a much more user-friendly and interactive interface as well as ability to mix the declarative paradigm with more direct modeling using Petri nets, and a vastly improved data perspective. Here is a demo […]

By November 23, 2012 0 Comments Read More →
Merging Declare and CPN Tools

Merging Declare and CPN Tools

As you may or may not know, I’m maintaining both Declare and CPN Tools.  I would like to make some improvements to Declare, and instead of struggling with the Declare Editor, which is a bit annoying to work with for many tasks, I decided to instead integrate Declare functionality into CPN Tools. This means that […]

By August 14, 2012 1 Comments Read More →