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

Clear background trigger for snapshot
Colored Inhibitor Arcs

You must be logged in to post a comment.