// Code generated by Umple 1.31.1.5860.78bb27cc6

digraph "ActLess5Transition" {
  compound = true;

  // Class: A

    // Top and Bottom Level StateMachine: sm
    
    // Start states are shown as a black circle
    node [ratio="auto" shape = point, fillcolor="black", width=0.2 ];
    start_A_sm [ tooltip = "Class A, SM sm, State start" ];
    
        
    // Format for normal states
    node [ratio="auto" shape = rectangle, width=1,style=rounded];
    
      // State: s1

      A_sm_s1 [label = s1, tooltip = "Class A, SM sm, State s1"];
      // End State: s1

      // State: s2

      A_sm_s2 [label = s2, tooltip = "Class A, SM sm, State s2"];
      // End State: s2
    // End Top and Bottom Level StateMachine: sm

  // All transitions
    start_A_sm -> A_sm_s1 [  tooltip = "start to s1" ] ;
    A_sm_s1 -> A_sm_s2 [  label = "e1 / doTransition();", tooltip = "From s1 to s2 on e1
Transition Action:
     doTransition();" ] ;
  

}

// Code generated by Umple 1.31.1.5860.78bb27cc6

digraph "Act5Transition" {
  compound = true;

  // Class: A

    // Top and Bottom Level StateMachine: sm
    
    // Start states are shown as a black circle
    node [ratio="auto" shape = point, fillcolor="black", width=0.2 ];
    start_A_sm [ tooltip = "Class A, SM sm, State start" ];
    
        
    // Format for normal states
    node [ratio="auto" shape = rectangle, width=1,style=rounded];
    
      // State: s1

      A_sm_s1 [label = s1, tooltip = "Class A, SM sm, State s1"];
      // End State: s1

      // State: s2

      A_sm_s2 [label = s2, tooltip = "Class A, SM sm, State s2"];
      // End State: s2
    // End Top and Bottom Level StateMachine: sm

  // All transitions
    start_A_sm -> A_sm_s1 [  tooltip = "start to s1" ] ;
    A_sm_s1 -> A_sm_s2 [  label = "e1 / {...}", tooltip = "From s1 to s2 on e1
Transition Action:
     doTransition1();
     doTransition2();
     doTransition3();
     doTransition4();
     doTransition5();" ] ;
  

}

// Code generated by Umple 1.31.1.5860.78bb27cc6

digraph "GuardTransition" {
  compound = true;

  // Class: A

    // Top and Bottom Level StateMachine: sm
    
    // Start states are shown as a black circle
    node [ratio="auto" shape = point, fillcolor="black", width=0.2 ];
    start_A_sm [ tooltip = "Class A, SM sm, State start" ];
    
        
    // Format for normal states
    node [ratio="auto" shape = rectangle, width=1,style=rounded];
    
      // State: s1

      A_sm_s1 [label = s1, tooltip = "Class A, SM sm, State s1"];
      // End State: s1

      // State: s2

      A_sm_s2 [label = s2, tooltip = "Class A, SM sm, State s2"];
      // End State: s2
    // End Top and Bottom Level StateMachine: sm

  // All transitions
    start_A_sm -> A_sm_s1 [  tooltip = "start to s1" ] ;
    A_sm_s1 -> A_sm_s2 [  label = "e1 [guard()]", tooltip = "From s1 to s2 on e1
Guard:  [guard()]" ] ;
  

}

// Code generated by Umple 1.31.1.5860.78bb27cc6

digraph "HideActionTransition" {
  compound = true;

  // Class: A

    // Top and Bottom Level StateMachine: sm
    
    // Start states are shown as a black circle
    node [ratio="auto" shape = point, fillcolor="black", width=0.2 ];
    start_A_sm [ tooltip = "Class A, SM sm, State start" ];
    
        
    // Format for normal states
    node [ratio="auto" shape = rectangle, width=1,style=rounded];
    
      // State: s1

      A_sm_s1 [label = s1, tooltip = "Class A, SM sm, State s1"];
      // End State: s1

      // State: s2

      A_sm_s2 [label = s2, tooltip = "Class A, SM sm, State s2"];
      // End State: s2
    // End Top and Bottom Level StateMachine: sm

  // All transitions
    start_A_sm -> A_sm_s1 [  tooltip = "start to s1" ] ;
    A_sm_s1 -> A_sm_s2 [  label = "e1", tooltip = "From s1 to s2 on e1" ] ;
  

}

// Code generated by Umple 1.31.1.5860.78bb27cc6

digraph "HideGuardTransition" {
  compound = true;

  // Class: A

    // Top and Bottom Level StateMachine: sm
    
    // Start states are shown as a black circle
    node [ratio="auto" shape = point, fillcolor="black", width=0.2 ];
    start_A_sm [ tooltip = "Class A, SM sm, State start" ];
    
        
    // Format for normal states
    node [ratio="auto" shape = rectangle, width=1,style=rounded];
    
      // State: s1

      A_sm_s1 [label = s1, tooltip = "Class A, SM sm, State s1"];
      // End State: s1

      // State: s2

      A_sm_s2 [label = s2, tooltip = "Class A, SM sm, State s2"];
      // End State: s2
    // End Top and Bottom Level StateMachine: sm

  // All transitions
    start_A_sm -> A_sm_s1 [  tooltip = "start to s1" ] ;
    A_sm_s1 -> A_sm_s2 [  label = "e1", tooltip = "From s1 to s2 on e1" ] ;
  

}

// Code generated by Umple 1.31.1.5860.78bb27cc6

digraph "ActivityMore5State" {
  compound = true;

  // Class: A

    // Top and Bottom Level StateMachine: sm
    
    // Start states are shown as a black circle
    node [ratio="auto" shape = point, fillcolor="black", width=0.2 ];
    start_A_sm [ tooltip = "Class A, SM sm, State start" ];
    
        
    // Format for normal states
    node [ratio="auto" shape = rectangle, width=1,style=rounded];
    
      // State: s2

      A_sm_s2 [label = s2, tooltip = "Class A, SM sm, State s2
Activity:
   doThisContinuouslyWhileOn1(); 
   doThisContinuouslyWhileOn2();
   doThisContinuouslyWhileOn3();
   doThisContinuouslyWhileOn4();
   doThisContinuouslyWhileOn5();
   ..."];
      // End State: s2
    // End Top and Bottom Level StateMachine: sm

  // All transitions
    start_A_sm -> A_sm_s2 [  tooltip = "start to s2" ] ;
  
}

// Code generated by Umple 1.31.1.5860.78bb27cc6

digraph "ExitMore5State" {
  compound = true;

  // Class: A

    // Top and Bottom Level StateMachine: sm
    
    // Start states are shown as a black circle
    node [ratio="auto" shape = point, fillcolor="black", width=0.2 ];
    start_A_sm [ tooltip = "Class A, SM sm, State start" ];
    
        
    // Format for normal states
    node [ratio="auto" shape = rectangle, width=1,style=rounded];
    
      // State: s2

      A_sm_s2 [label = s2, tooltip = "Class A, SM sm, State s2
Exit:
   doEntry1(); 
   doEntry2();
   doEntry3();
   doEntry4();
   doEntry5();
   ..."];
      // End State: s2
    // End Top and Bottom Level StateMachine: sm

  // All transitions
    start_A_sm -> A_sm_s2 [  tooltip = "start to s2" ] ;
  
}

// Code generated by Umple 1.31.1.5860.78bb27cc6

digraph "NormalState" {
  compound = true;

  // Class: A

    // Top and Bottom Level StateMachine: sm
    
    // Start states are shown as a black circle
    node [ratio="auto" shape = point, fillcolor="black", width=0.2 ];
    start_A_sm [ tooltip = "Class A, SM sm, State start" ];
    
        
    // Format for normal states
    node [ratio="auto" shape = rectangle, width=1,style=rounded];
    
      // State: s1

      A_sm_s1 [label = s1, tooltip = "Class A, SM sm, State s1"];
      // End State: s1
    // End Top and Bottom Level StateMachine: sm

  // All transitions
    start_A_sm -> A_sm_s1 [  tooltip = "start to s1" ] ;
  
}

// Code generated by Umple 1.31.1.5860.78bb27cc6

digraph "ActivityLess5State" {
  compound = true;

  // Class: A

    // Top and Bottom Level StateMachine: sm
    
    // Start states are shown as a black circle
    node [ratio="auto" shape = point, fillcolor="black", width=0.2 ];
    start_A_sm [ tooltip = "Class A, SM sm, State start" ];
    
        
    // Format for normal states
    node [ratio="auto" shape = rectangle, width=1,style=rounded];
    
      // State: s2

      A_sm_s2 [label = s2, tooltip = "Class A, SM sm, State s2
Activity:
   doThisContinuouslyWhileOn();"];
      // End State: s2
    // End Top and Bottom Level StateMachine: sm

  // All transitions
    start_A_sm -> A_sm_s2 [  tooltip = "start to s2" ] ;
  
}

// Code generated by Umple 1.31.1.5860.78bb27cc6

digraph "ActMore5Transition" {
  compound = true;

  // Class: A

    // Top and Bottom Level StateMachine: sm
    
    // Start states are shown as a black circle
    node [ratio="auto" shape = point, fillcolor="black", width=0.2 ];
    start_A_sm [ tooltip = "Class A, SM sm, State start" ];
    
        
    // Format for normal states
    node [ratio="auto" shape = rectangle, width=1,style=rounded];
    
      // State: s1

      A_sm_s1 [label = s1, tooltip = "Class A, SM sm, State s1"];
      // End State: s1

      // State: s2

      A_sm_s2 [label = s2, tooltip = "Class A, SM sm, State s2"];
      // End State: s2
    // End Top and Bottom Level StateMachine: sm

  // All transitions
    start_A_sm -> A_sm_s1 [  tooltip = "start to s1" ] ;
    A_sm_s1 -> A_sm_s2 [  label = "e1 / {...}", tooltip = "From s1 to s2 on e1
Transition Action:
     doTransition1();
     doTransition2();
     doTransition3();
     doTransition4();
     doTransition5();
     ..." ] ;
  

}

// Code generated by Umple 1.31.1.5860.78bb27cc6

digraph "ExitLess5State" {
  compound = true;

  // Class: A

    // Top and Bottom Level StateMachine: sm
    
    // Start states are shown as a black circle
    node [ratio="auto" shape = point, fillcolor="black", width=0.2 ];
    start_A_sm [ tooltip = "Class A, SM sm, State start" ];
    
        
    // Format for normal states
    node [ratio="auto" shape = rectangle, width=1,style=rounded];
    
      // State: s2

      A_sm_s2 [label = s2, tooltip = "Class A, SM sm, State s2
Exit:
   doEntry();"];
      // End State: s2
    // End Top and Bottom Level StateMachine: sm

  // All transitions
    start_A_sm -> A_sm_s2 [  tooltip = "start to s2" ] ;
  
}

// Code generated by Umple 1.31.1.5860.78bb27cc6

digraph "NestedTransition" {
  compound = true;

  // Class: A

    // Top Level StateMachine: sm
    
    // Start states are shown as a black circle
    node [ratio="auto" shape = point, fillcolor="black", width=0.2 ];
    start_A_sm [ tooltip = "Class A, SM sm, State start" ];
    
        
    // Format for normal states
    node [ratio="auto" shape = rectangle, width=1,style=rounded];
    
      // State: s1

      A_sm_s1 [label = s1, tooltip = "Class A, SM sm, State s1"];
      // End State: s1

      // State: s2

     subgraph clusterA_sm_s2 {
      label = "s2";
      style = rounded;

      // Bottom Level StateMachine: s2
      
      // Start states are shown as a black circle
      node [ratio="auto" shape = point, fillcolor="black", width=0.2 ];
      start_A_smS2 [ tooltip = "Class A, SM sm, State s2.start" ];
      
            
      // Format for normal states
      node [ratio="auto" shape = rectangle, width=1,style=rounded];
      
        // State: s2a

        A_smS2_s2a [label = s2a, tooltip = "Class A, SM sm, State s2.s2a"];
        // End State: s2a

        // State: s2b

        A_smS2_s2b [label = s2b, tooltip = "Class A, SM sm, State s2.s2b"];
        // End State: s2b
      // End Bottom Level StateMachine: s2
     }
      // End State: s2
    // End Top Level StateMachine: sm

  // All transitions
    start_A_sm -> A_sm_s1 [  tooltip = "start to s1" ] ;
    A_smS2_s2a -> A_sm_s1 [  ltail=clusterA_sm_s2,  label = "e1", tooltip = "From s2 to s1 on e1" ] ;
  
  A_sm_s1 -> A_smS2_s2a [  lhead=clusterA_sm_s2,  label = "e1", tooltip = "From s1 to s2 on e1" ] ;
  
  start_A_smS2 -> A_smS2_s2a [  tooltip = "start to s2.s2a" ] ;
    A_smS2_s2b -> A_smS2_s2a [  label = "e3", tooltip = "From s2.s2b to s2.s2a on e3" ] ;
  
  A_sm_s1 -> A_smS2_s2b [  label = "e2", tooltip = "From s1 to s2.s2b on e2" ] ;
  
  A_smS2_s2a -> A_smS2_s2b [  label = "e3", tooltip = "From s2.s2a to s2.s2b on e3" ] ;
  

}

// Code generated by Umple 1.31.1.5860.78bb27cc6

digraph "NestedState" {
  compound = true;

  // Class: A

    // Top Level StateMachine: sm
    
    // Start states are shown as a black circle
    node [ratio="auto" shape = point, fillcolor="black", width=0.2 ];
    start_A_sm [ tooltip = "Class A, SM sm, State start" ];
    
        
    // Format for normal states
    node [ratio="auto" shape = rectangle, width=1,style=rounded];
    
      // State: s2

     subgraph clusterA_sm_s2 {
      label = "s2";
      style = rounded;

      // Bottom Level StateMachine: s2
      
      // Start states are shown as a black circle
      node [ratio="auto" shape = point, fillcolor="black", width=0.2 ];
      start_A_smS2 [ tooltip = "Class A, SM sm, State s2.start" ];
      
            
      // Format for normal states
      node [ratio="auto" shape = rectangle, width=1,style=rounded];
      
        // State: s2a

        A_smS2_s2a [label = s2a, tooltip = "Class A, SM sm, State s2.s2a"];
        // End State: s2a
      // End Bottom Level StateMachine: s2
     }
      // End State: s2
    // End Top Level StateMachine: sm

  // All transitions
    start_A_sm -> A_smS2_s2a [  lhead=clusterA_sm_s2,  tooltip = "start to s2" ] ;
    start_A_smS2 -> A_smS2_s2a [  tooltip = "start to s2.s2a" ] ;
  
}

// Code generated by Umple 1.31.1.5860.78bb27cc6

digraph "Transition" {
  compound = true;

  // Class: A

    // Top and Bottom Level StateMachine: sm
    
    // Start states are shown as a black circle
    node [ratio="auto" shape = point, fillcolor="black", width=0.2 ];
    start_A_sm [ tooltip = "Class A, SM sm, State start" ];
    
        
    // Format for normal states
    node [ratio="auto" shape = rectangle, width=1,style=rounded];
    
      // State: s1

      A_sm_s1 [label = s1, tooltip = "Class A, SM sm, State s1"];
      // End State: s1

      // State: s2

      A_sm_s2 [label = s2, tooltip = "Class A, SM sm, State s2"];
      // End State: s2
    // End Top and Bottom Level StateMachine: sm

  // All transitions
    start_A_sm -> A_sm_s1 [  tooltip = "start to s1" ] ;
    A_sm_s1 -> A_sm_s2 [  label = "e1", tooltip = "From s1 to s2 on e1" ] ;
  

}

// Code generated by Umple 1.31.1.5860.78bb27cc6

digraph "Exit5State" {
  compound = true;

  // Class: A

    // Top and Bottom Level StateMachine: sm
    
    // Start states are shown as a black circle
    node [ratio="auto" shape = point, fillcolor="black", width=0.2 ];
    start_A_sm [ tooltip = "Class A, SM sm, State start" ];
    
        
    // Format for normal states
    node [ratio="auto" shape = rectangle, width=1,style=rounded];
    
      // State: s2

      A_sm_s2 [label = s2, tooltip = "Class A, SM sm, State s2
Exit:
   doEntry1(); 
   doEntry2();
   doEntry3();
   doEntry4();
   doEntry5();"];
      // End State: s2
    // End Top and Bottom Level StateMachine: sm

  // All transitions
    start_A_sm -> A_sm_s2 [  tooltip = "start to s2" ] ;
  
}

// Code generated by Umple 1.31.1.5860.78bb27cc6

digraph "HideActionState" {
  compound = true;

  // Class: A

    // Top and Bottom Level StateMachine: sm
    
    // Start states are shown as a black circle
    node [ratio="auto" shape = point, fillcolor="black", width=0.2 ];
    start_A_sm [ tooltip = "Class A, SM sm, State start" ];
    
        
    // Format for normal states
    node [ratio="auto" shape = rectangle, width=1,style=rounded];
    
      // State: s2

      A_sm_s2 [label = s2, tooltip = "Class A, SM sm, State s2"];
      // End State: s2
    // End Top and Bottom Level StateMachine: sm

  // All transitions
    start_A_sm -> A_sm_s2 [  tooltip = "start to s2" ] ;
  
}

// Code generated by Umple 1.31.1.5860.78bb27cc6

digraph "Activity5State" {
  compound = true;

  // Class: A

    // Top and Bottom Level StateMachine: sm
    
    // Start states are shown as a black circle
    node [ratio="auto" shape = point, fillcolor="black", width=0.2 ];
    start_A_sm [ tooltip = "Class A, SM sm, State start" ];
    
        
    // Format for normal states
    node [ratio="auto" shape = rectangle, width=1,style=rounded];
    
      // State: s2

      A_sm_s2 [label = s2, tooltip = "Class A, SM sm, State s2
Activity:
   doThisContinuouslyWhileOn1(); 
   doThisContinuouslyWhileOn2();
   doThisContinuouslyWhileOn3();
   doThisContinuouslyWhileOn4();
   doThisContinuouslyWhileOn5();"];
      // End State: s2
    // End Top and Bottom Level StateMachine: sm

  // All transitions
    start_A_sm -> A_sm_s2 [  tooltip = "start to s2" ] ;
  
}

// Code generated by Umple 1.31.1.5860.78bb27cc6

digraph "GuardedAutoTransition" {
  compound = true;

  // Class: X

    // Top and Bottom Level StateMachine: sm
    
    // Start states are shown as a black circle
    node [ratio="auto" shape = point, fillcolor="black", width=0.2 ];
    start_X_sm [ tooltip = "Class X, SM sm, State start" ];
    
        
    // Format for normal states
    node [ratio="auto" shape = rectangle, width=1,style=rounded];
    
      // State: s1

      X_sm_s1 [label = s1, tooltip = "Class X, SM sm, State s1
Entry:
   System.out.println("Starting first sleep");
Activity:
   Thread.sleep(2000);
   System.out.println("Ending first sleep");"];
      // End State: s1

      // State: s2

      X_sm_s2 [label = s2, tooltip = "Class X, SM sm, State s2
Entry:
   System.out.println("Starting second sleep");
Activity:
   Thread.sleep(2000);
   System.out.println("Ending second sleep");"];
      // End State: s2
    // End Top and Bottom Level StateMachine: sm

  // All transitions
    start_X_sm -> X_sm_s1 [  tooltip = "start to s1" ] ;
    X_sm_s1 -> X_sm_s2 [  label = "[guard]", tooltip = "From s1 to s2 automatically
Guard: [guard]" ] ;
  

}

// Code generated by Umple 1.31.1.5860.78bb27cc6

digraph "ParameterTransition" {
  compound = true;

  // Class: X

    // Top and Bottom Level StateMachine: stateMachine1
    
     subgraph clusterX_stateMachine1 {
      label = "sm X stateMachine1";
      penwidth=0.5;
        
    // Start states are shown as a black circle
    node [ratio="auto" shape = point, fillcolor="black", width=0.2 ];
    start_X_stateMachine1 [ tooltip = "Class X, SM stateMachine1, State start" ];
    
        
    // Format for normal states
    node [ratio="auto" shape = rectangle, width=1,style=rounded];
    
      // State: s1a

      X_stateMachine1_s1a [label = s1a, tooltip = "Class X, SM stateMachine1, State s1a
Activity:
   // This do activity sends events to stateMachine1
   e(5);
   Thread.sleep(1000);
   e(6);
   Thread.sleep(1000);
   ..."];
      // End State: s1a

      // State: s1b

      X_stateMachine1_s1b [label = s1b, tooltip = "Class X, SM stateMachine1, State s1b"];
      // End State: s1b
    // End Top and Bottom Level StateMachine: stateMachine1
  }

    // Top and Bottom Level StateMachine: stateMachine2
    
     subgraph clusterX_stateMachine2 {
      label = "sm X stateMachine2";
      penwidth=0.5;
        
    // Start states are shown as a black circle
    node [ratio="auto" shape = point, fillcolor="black", width=0.2 ];
    start_X_stateMachine2 [ tooltip = "Class X, SM stateMachine2, State start" ];
    
        
    // Format for normal states
    node [ratio="auto" shape = rectangle, width=1,style=rounded];
    
      // State: s2a

      X_stateMachine2_s2a [label = s2a, tooltip = "Class X, SM stateMachine2, State s2a
Entry:
   System.out.println("s2a");"];
      // End State: s2a

      // State: s2b

      X_stateMachine2_s2b [label = s2b, tooltip = "Class X, SM stateMachine2, State s2b
Entry:
   System.out.println("s2b");"];
      // End State: s2b
    // End Top and Bottom Level StateMachine: stateMachine2
  }

  // All transitions
    start_X_stateMachine1 -> X_stateMachine1_s1a [  tooltip = "start to s1a" ] ;
    X_stateMachine1_s1a -> X_stateMachine1_s1b [  tooltip = "From s1a to s1b automatically" ] ;
  
  start_X_stateMachine2 -> X_stateMachine2_s2a [  tooltip = "start to s2a" ] ;
    X_stateMachine2_s2b -> X_stateMachine2_s2a [  label = "e(int a) / {...}", tooltip = "From s2b to s2a on e(int a)
Transition Action:
     System.out.println("e"+a);" ] ;
  
  X_stateMachine2_s2a -> X_stateMachine2_s2b [  label = "e(int a) [a > 6] / {...}", tooltip = "From s2a to s2b on e(int a)
Guard:  [a > 6]
Transition Action:
     System.out.println("e"+a);" ] ;
  

}

// Code generated by Umple 1.31.1.5860.78bb27cc6

digraph "EntryMore5State" {
  compound = true;

  // Class: A

    // Top and Bottom Level StateMachine: sm
    
    // Start states are shown as a black circle
    node [ratio="auto" shape = point, fillcolor="black", width=0.2 ];
    start_A_sm [ tooltip = "Class A, SM sm, State start" ];
    
        
    // Format for normal states
    node [ratio="auto" shape = rectangle, width=1,style=rounded];
    
      // State: s2

      A_sm_s2 [label = s2, tooltip = "Class A, SM sm, State s2
Entry:
   doEntry1(); 
   doEntry2();
   doEntry3();
   doEntry4();
   doEntry5();
   ..."];
      // End State: s2
    // End Top and Bottom Level StateMachine: sm

  // All transitions
    start_A_sm -> A_sm_s2 [  tooltip = "start to s2" ] ;
  
}

// Code generated by Umple 1.31.1.5860.78bb27cc6

digraph "Entry5State" {
  compound = true;

  // Class: A

    // Top and Bottom Level StateMachine: sm
    
    // Start states are shown as a black circle
    node [ratio="auto" shape = point, fillcolor="black", width=0.2 ];
    start_A_sm [ tooltip = "Class A, SM sm, State start" ];
    
        
    // Format for normal states
    node [ratio="auto" shape = rectangle, width=1,style=rounded];
    
      // State: s2

      A_sm_s2 [label = s2, tooltip = "Class A, SM sm, State s2
Entry:
   doEntry1(); 
   doEntry2();
   doEntry3();
   doEntry4();
   doEntry5();"];
      // End State: s2
    // End Top and Bottom Level StateMachine: sm

  // All transitions
    start_A_sm -> A_sm_s2 [  tooltip = "start to s2" ] ;
  
}

// Code generated by Umple 1.31.1.5860.78bb27cc6

digraph "EntryLess5State" {
  compound = true;

  // Class: A

    // Top and Bottom Level StateMachine: sm
    
    // Start states are shown as a black circle
    node [ratio="auto" shape = point, fillcolor="black", width=0.2 ];
    start_A_sm [ tooltip = "Class A, SM sm, State start" ];
    
        
    // Format for normal states
    node [ratio="auto" shape = rectangle, width=1,style=rounded];
    
      // State: s2

      A_sm_s2 [label = s2, tooltip = "Class A, SM sm, State s2
Entry:
   doEntry();"];
      // End State: s2
    // End Top and Bottom Level StateMachine: sm

  // All transitions
    start_A_sm -> A_sm_s2 [  tooltip = "start to s2" ] ;
  
}

// Code generated by Umple 1.31.1.5860.78bb27cc6

digraph "TimedTransition" {
  compound = true;

  // Class: X

    // Top and Bottom Level StateMachine: sm
    
    // Start states are shown as a black circle
    node [ratio="auto" shape = point, fillcolor="black", width=0.2 ];
    start_X_sm [ tooltip = "Class X, SM sm, State start" ];
    
        
    // Format for normal states
    node [ratio="auto" shape = rectangle, width=1,style=rounded];
    
      // State: a

      X_sm_a [label = a, tooltip = "Class X, SM sm, State a
Entry:
   System.out.println("entering a");"];
      // End State: a

      // State: b

      X_sm_b [label = b, tooltip = "Class X, SM sm, State b
Entry:
   System.out.println("entering b");"];
      // End State: b
    // End Top and Bottom Level StateMachine: sm

  // All transitions
    start_X_sm -> X_sm_a [  tooltip = "start to a" ] ;
    X_sm_a -> X_sm_b [  label = "after(1)", tooltip = "From a to b after(1)" ] ;
  

}

// Code generated by Umple 1.31.1.5860.78bb27cc6

digraph "AutoTransition" {
  compound = true;

  // Class: X

    // Top and Bottom Level StateMachine: sm
    
    // Start states are shown as a black circle
    node [ratio="auto" shape = point, fillcolor="black", width=0.2 ];
    start_X_sm [ tooltip = "Class X, SM sm, State start" ];
    
        
    // Format for normal states
    node [ratio="auto" shape = rectangle, width=1,style=rounded];
    
      // State: s1

      X_sm_s1 [label = s1, tooltip = "Class X, SM sm, State s1
Entry:
   System.out.println("Starting first sleep");
Activity:
   Thread.sleep(2000);
   System.out.println("Ending first sleep");"];
      // End State: s1

      // State: s2

      X_sm_s2 [label = s2, tooltip = "Class X, SM sm, State s2
Entry:
   System.out.println("Starting second sleep");
Activity:
   Thread.sleep(2000);
   System.out.println("Ending second sleep");"];
      // End State: s2
    // End Top and Bottom Level StateMachine: sm

  // All transitions
    start_X_sm -> X_sm_s1 [  tooltip = "start to s1" ] ;
    X_sm_s1 -> X_sm_s2 [  tooltip = "From s1 to s2 automatically" ] ;
  

}

// Code generated by Umple 1.31.1.5860.78bb27cc6

digraph "TransitionSelf" {
  compound = true;

  // Class: A

    // Top and Bottom Level StateMachine: sm
    
    // Start states are shown as a black circle
    node [ratio="auto" shape = point, fillcolor="black", width=0.2 ];
    start_A_sm [ tooltip = "Class A, SM sm, State start" ];
    
        
    // Format for normal states
    node [ratio="auto" shape = rectangle, width=1,style=rounded];
    
      // State: s1

      A_sm_s1 [label = s1, tooltip = "Class A, SM sm, State s1"];
      // End State: s1
    // End Top and Bottom Level StateMachine: sm

  // All transitions
    start_A_sm -> A_sm_s1 [  tooltip = "start to s1" ] ;
    A_sm_s1 -> A_sm_s1 [  label = "e1", tooltip = "From s1 to s1 on e1" ] ;
  

}