Profile cover photo
Profile photo
Declarative approach to workflow modeling
Declarative approach to workflow modeling

Declare's posts

Post has attachment
Like Declare? Like ProM? Well, then I have good news for you! ProM just got a new Declare package, which is much simpler to use. The first use is a port of the UnconstrainedMiner to ProM, so now you can enjoy best-of-class Declare mining directly inside ProM.

The new miner works in seconds or minutes; here we mined the full Declare language (minus two constraints) and one custom constraint in under 2 seconds for a real-life log.
2 Photos - View album

Post has attachment

Post has shared content
Dear all,

We have previously announced that Declare functionality will be integrated in CPN Tools. That time is now; CPN Tools 4.0.0 just went live with full for support for Declare.
Feel free to like, share and forward this announcement to interested parties (but don't spam!) Thanks!

Dear all,

After more than a year, CPN Tools 4 ( has reached completion. CPN Tools is a major new release, and new features include
- declarative constraints
- 3rd part extensions written in Java
- simplified use of non-colored nets
- support for PNML
- support for real and time colorsets
- improved support for time (time intervals and state-space reduction)
- simplified state-space analysis
- fresh new look
CPN Tools 4 can read files from older versions of CPN Tools, and saved files can be read using older versions (except for new features). CPN Tools 4 is recommended for all new development using colored Petri nets.

Get a full list of changes at

Get the new version from

Report any bugs on our new bug-tracker at
Here, you can also propose and vote for new features.

We are currently writing tutorials introducing all new features; find the current available tutorials and check back for updated content at

Get the inside scoop on CPN Tools from the following social networks:
- Facebook:
- Twitter:
- Google Plus:

CPN Tools is a tool for editing, simulating, and analyzing Colored Petri nets. The tool features incremental syntax checking and code generation, which take place while a net is being constructed. A fast simulator efficiently handles untimed and timed nets. Full and partial state spaces can be generated and analyzed, and a standard state space report contains information such as boundedness and liveness properties.

CPN Tools is originally developed by the CPN Group at Aarhus University from 2000 to 2010. The main architects behind the tool are Kurt Jensen, Søren Christensen, Lars M. Kristensen, and Michael Westergaard. From the autumn of 2010, CPN Tools is transferred to the AIS group, Eindhoven University of Technology, The Netherlands.

Post has attachment
Dear all,

Declare will soon cease to exist as a stand-alone tool.  Instead has been integrated into CPN Tools 4.

I just wrote an introduction on how to use Declare in CPN Tools 4.  Read it at

Get the pre-release of CPN Tools 4 from

Post has attachment
A new version of the UnconstrainedMiner has just been released! This version switches the old (faulty) LTL semantics for a new one based on regular expressions. It also supports computing whether constraints are triggered and adding custom constraints as well a general speed improvements.

Get it from

Post has attachment
Are you into Declare and process mining?  Of course you are!  If you want to have a look at a new tool for mining Declare constraints, check out

This is the Unconstrained miner.  It is significantly faster than the Declare miner in ProM and much more flexible than MINERful.

Post has shared content
Now Declare support in +CPN Tools is maturing! Time to start checking it out.
Hope everybody on the northern hemisphere is enjoying the summer.

At CPN Tools HQ we beat the heat by coding, and so I just put up CPN Tools 3.9.1. It has vastly improved support for Declare constraints, so if you use those, this is a definite improvement, though it is still a development version. This development version is getting so close to stable (and has been feature-frozen), though, that we welcome any bug reports at

Get it while it's still hot at

Post has attachment
Just redesigned the Declare homepage. Now it has a modern, cleaner fluid design that works on computers, tablets, and phones alike. It makes it easier to find the content you seek; check it out at

Post has shared content
Still just an early demonstration, but maybe worth looking into? Declare constraints in latest released beta of CPN Tools.
I just uploaded CPN Tools 3.5.2. The big new feature in this version is that it has early support for simulator extensions and Declare constraints. This means that unless you plan to check out this feature, do not download this version. It does not yet gracefully scale back if the extensions are not running, and some extensions have a lot of overhead that will later be removed. If you don't want to try out simulator extensions, stay with the stable 3.4.0 or the beta version 3.5.1.

If you want to know more about simulator extensions, take a look at these blog posts

To use this version of CPN Tools, first start the extension server (in the CPN Tools start menu entry – in future versions, the extension server will automatically be started on demand) and make sure extensions are switched on in the GUI (this option is mostly ignored in this version, but you run into fewer problems if it is switched on). Then load or create your net as normal. Note that models with Declare constraints cannot be saved and that Declare constraints have several graphical issues.

Get CPN Tools 3.5.2 from

Post has attachment
Interested in the next version of Declare? Well, there it not going to be any! Instead, we take the full power of Declare and combine it with the power of colored Petri nets in CPN Tools 4, allowing you to mix declarative and Petri net modeling, including a much better data perspective for Declare models, faster modeling and simulation in a much more user-friendly environment. See an early demo and read more at 
Wait while more posts are being loaded