Best regards,
Jim C
I had also thought of maybe not showing priorities when transition
conditions are mutually exclusive. Then I thought better of it because
that may actually conceal the user's intent, e.g., to evaluate the
most frequently cleared transitions first for run-time efficiency, for
instance in the "Basic" example where INIT might occur only once or
twice, but REQ may happen many times, e.g., if it is being fired
periodically.
--
Best regards,
Jim Christensen
With the "FBDK" style, the grayish shading will be used for elements
that can be selected (non-selectable elements will have the plain
white background), and transition priorities will always be displayed.
--
Best regards,
Jim Christensen