CPN Tools 4 merges the colored Petri net language with the Declare language. Declare was previously supported in its own tool, also named Declare. Everything herein can be done with CPN Tools pre-releases starting from 3.9.2; get your copy here. In colored Petri nets, the control flow is either dependent on data or on explicit […]
CPN Tools 4: Declare Constraints
![](https://westergaard.eu/wp-content/uploads/2013/08/Screen-Shot-2013-08-14-at-19.07.41-450x236.png)