Mutex Visualization
Properties:
Mutual Exclusion: 
Bounded Waiting:
Progress:
No Deadlock: 
Bounded Waiting:
Progress:
No Deadlock:
PROCESS
ENTRY
CRITICAL
EXIT
ACTIVITY LOG
Mutexes: