digraph Pages
{
  node [shape=oval, style=bold, color=black, height=0.7, width=1.5, penwidth=2];
  overlap=false;
  splines=true;
  sep="+30";
  nodesep=0.9;
  ranksep=0.6;
  newrank=true;
//  landscape=true;


//
// Blocchi speciali
//

  Start				[label="Start", style=filled, fillcolor=grey, shape=circle, height=0.2, width=0.2];
  Off				[label="OFF"];
  
  Check				[label="Check"];
  Sleep				[label="Sleep"];
  Conn				[label="Connect"];
  Wait				[label="Wait\nconnection\nhandler"];
  
 

//
// Collegamenti tra le funzioni
//

  Start -> Off;
  Off -> Check			[label="On"];
  Check -> Sleep		[label="No disc.\nfound"];
  Sleep -> Check		[label="Timeout"];
  Check -> Conn			[label="Disc.\nfound"];
  Conn -> Wait -> Check;
  Sleep -> Off			[label="Off"];

  { rank=same; Off; Check; Conn; }
}