┌────┐               
               │Idle│               
               ├────┤               
               └────┘               
                  |                 
                  |                 
             ┌───────┐              
             │Req(Id)│              
             ├───────┤              
             └───────┘              
                  |                 
                ┌─┐                 
                │c│                 
                ├─┤                 
                └─┘                 
                                    
                                    
      ┌─────────┐    ┌─────────┐    
      │Minor(Id)│    │Major(Id)│    
      ├─────────┤    ├─────────┤    
      └─────────┘    └─────────┘    
                                    
┌───────────────┐  ┌───────────────┐
│MinorReq := Id;│  │MajorReq := Id;│
├───────────────┤  ├───────────────┤
└───────────────┘  └───────────────┘
                                    
                ┌─┐                 
                │j│                 
                ├─┤                 
                └─┘                 
                  |                 
                  |                 
               ┌────┐               
               │Busy│               
               ├────┤               
               └────┘