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/
Time person of the year 2006, Nobel Peace Prize winner 2012.