Color Declare constraints according to acceptance – CPN Tools

Posted: January 24, 2018/Under: All feature requests, Under review feature requests/By: admin

July 16, 2013

Michael Westergaard (Code and Support Guy, CPN Tools) shared this idea

Refer to http://westergaard.eu/2012/08/look-at-the-petri-colors/ for more reflection

Proposed scheme:

green = (possibly) satisfied
red = unsatisfiable (both static and dynamic property; static should display conflict)
magenta = possibly unsatisfied

September 5, 2013

Michael Westergaard (Code and Support Guy, CPN Tools) responded

Under review

Reopened as 4 goes out soon

You must be logged in to post a comment.