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 of an early version of this integration.

You can read much more about this on Michael’s blog.