// This can be regenerated with the following command: // dot -Tpdf -o PubSubStateGraph.pdf PubSubStateGraph.gv digraph { Runtime ClientInit ServerInit Subed Listening Runtime -> ClientInit [label = "Activate", style = "dashed"] Runtime -> ServerInit [label = "Activate", style = "dashed"] ClientInit -> Subed [label = "Activate"] Subed -> Subed [label = " Pub"] ClientInit -> Listening [label = "Sub", style = "dashed"] ServerInit -> Listening [label = "Activate"] Listening -> Listening [label = " Pub|Sub"] Runtime -> Listening [label = "Pub", style = "dashed"] Listening -> Subed [label = "Pub", style = "dashed"] }