This set of notes is based on notes from the textbook authors, as well as L. ... Executing safety algorithm shows that sequence <P1, P3, P4, P0, P2> ...
