Blog

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 →
Data and Resources

Data and Resources

In the next version of Declare, data and resources will have a much more prominent role.  Currently, both are hidden away in other tabs and the relationship between the control-flow, data, and resource perspectives nearly invisible. In the next version, data will be represented as ovals or circles (inspired by places from Petri nets) and […]

By December 20, 2011 0 Comments Read More →