,----.               
               |Idle|               
               |----|               
               `----'               
                  |                 
                  |                 
             ,-------.              
             |Req(Id)|              
             |-------|              
             `-------'              
                  |                 
                ,-.                 
                |c|                 
                |-|                 
                `-'                 
                                    
                                    
      ,---------.    ,---------.    
      |Minor(Id)|    |Major(Id)|    
      |---------|    |---------|    
      `---------'    `---------'    
                                    
,---------------.  ,---------------.
|MinorReq := Id;|  |MajorReq := Id;|
|---------------|  |---------------|
`---------------'  `---------------'
                                    
                ,-.                 
                |j|                 
                |-|                 
                `-'                 
                  |                 
                  |                 
               ,----.               
               |Busy|               
               |----|               
               `----'