digraph g_state {
	graph [fontname="'Source Sans Pro', sans-serif", fontsize=12.0, style=invis];
	node  [fontname="'Source Sans Pro', sans-serif", fontsize=10.0]
        edge  [fontname="'Source Sans Pro', sans-serif", fontsize=10.0];
        node  [style=filled, shape=diamond, height=1.3, fillcolor=white, color=lightgray];

	start[shape=point,height=0.1, width=0.1,fillcolor=black,color=black]
	b [label = "Disconnected"]
	d [label = "503 Unavailable",fillcolor="#ff9999",color=black, width=0.9]
	c [label = "Connected"]
	e [label = "200 Ok"]
	end[label="",height=0.1, width=0.1,shape=doublecircle,fillcolor=black,color=black]

	start -> b [label="exec serviced"]
	b -> d [label="incomming request"]
	b -> c [label="connect to DB"]
	c -> e [label="incomming request"]
	e -> end [label="Ctrl-c"]

	{rank=same;start,b,c}
	{rank=same;end,d,e}
}