ne graph carry more information?
&gt; &gt;      You could 'overload' states/nodes ('situations')
&gt; &gt;      and edges/transitions with attributes.
&gt; 
&gt; ¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤
&gt; 
&gt; WM(?),
&gt; 
&gt; These are the stick-figure versions of my long-time (coming? gone?)
&gt; project to integrate logic and information theory, which, like all my
&gt; best ideas, I later discovered had &quot;already been chewed&quot; (ABC'd) by CSP,
&gt; who lectured on this topic 