digraph G {
 rankdir=LR
 node [shape=box, fontsize=9, height=0.1, width=0.05 ]
 edge [arrowsize=0.5, len=0.1]
"timeOut\n"
"startTime\n"
"currentTime\n"
"fundsInMachine\n"
"chosenProduct\n"
"remittance\n"
"enoughCashToChange\n"
"change\n"
"pricelist\n"
"activity\n"
"startTime\n"->"timeOut\n"
"currentTime\n"->"timeOut\n"
"fundsInMachine\n"->"enoughCashToChange\n"
"chosenProduct\n"->"change\n"
"remittance\n"->"change\n"
"pricelist\n"->"change\n"
"timeOut\n"->"activity\n"
"enoughCashToChange\n"->"activity\n"
"change\n"->"activity\n"
"chosenProduct\n"->"activity\n"
"fundsInMachine\n"->"activity\n"
"change\n"->"enoughCashToChange\n"
}