// 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"]
}