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


//
// Blocchi speciali
//

  Conn				[label="User", shape=oval];
  EndUser			[label="User\nHandler", shape=oval];
  
  AutoConnect			[label="AutoConnect()"];
  PeerConnect			[label="PeerConnect()"];
  AutoConnectHandler		[label="AutoConnectHandler()"];
  NextServerJob			[label="NextServerJob()"];
  
 

//
// Collegamenti tra le funzioni
//

  Conn -> AutoConnect;
  AutoConnect -> PeerConnect;
  PeerConnect -> AutoConnectHandler		[penwidth=4, color=cyan];
  AutoConnectHandler -> NextServerJob		[penwidth=4];
  NextServerJob -> PeerConnect;
  NextServerJob -> EndUser;

  { rank=same; Conn; AutoConnect; }
}