Simple Declare Editing in CPN Tools 4

Here I demonstrate simple editing of Declare in CPN Tools 4; we notice that enabling is updated as I simulate and alter the constraints.

For a full description of the facility, refer to https://westergaard.eu/2013/08/cpn-tools-4-declare-constraints/