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
