coin.dot (1147B)
1 digraph Coin { 2 3 planchet [color=blue, shape="box"]; 4 fresh [color=blue, label="fresh coin", shape="box"]; 5 rs [color=blue, label="refresh session", shape="box"]; 6 partial [color=blue, label="dirty coin", shape="box"]; 7 revoked [color=blue, label="revoked coin", shape="box"]; 8 zombie [color=blue, label="zombie coin", shape="box"]; 9 spent [color=blue, label="spent coin", shape="box"]; 10 wired [color=blue, label="wired coin", shape="doublecircle"]; 11 expired [color=blue, label="expired coin", shape="doublecircle"]; 12 13 subgraph { 14 rank = same; spent; expired; 15 } 16 17 subgraph { 18 withdraw; melt; 19 } 20 21 subgraph { 22 rank = same; melt; reveal; rs; 23 } 24 25 26 planchet->withdraw; 27 planchet->melt; 28 withdraw->fresh; 29 fresh->deposit; 30 fresh->melt; 31 deposit->partial; 32 deposit->spent; 33 melt->rs; 34 rs->reveal; 35 reveal->fresh; 36 melt->partial; 37 melt->spent; 38 spent->refund; 39 refund->partial; 40 spent->wired [style=dotted]; 41 partial->expired [style=dotted]; 42 partial->melt; 43 partial->deposit [color=red]; 44 fresh->expired [style=dotted]; 45 fresh->revoked [style=dotted]; 46 revoked->recoup; 47 recoup->zombie; 48 zombie->melt; 49 }