תרשים מצבים - התהליכים P2: wait(S); signal(S); Q; P1: signal(S); wait(S); A;
תרשים מצבים 1 S,W,0 S,B,0 P2: wait(S); signal(S); Q; P1: signal(S); wait(S); A; אסור
תרשים מצבים 2 S,W,0 W,S,0 S,B,0 W,Q,1 P2: wait(S); signal(S); Q; P1: signal(S); wait(S); A; W,end,1 X אסור
תרשים מצבים 3 S,W,0 W,S,0 S,B,0 W,Q,1 P2: wait(S); signal(S); Q; P1: signal(S); wait(S); A; W,end,1 X A,end,0 X אסור
תרשים מצבים 4 S,W,0 W,S,0 S,B,0 W,Q,1 P2: wait(S); signal(S); Q; P1: signal(S); wait(S); A; W,end,1 X A,end,0 X end,end,0 X אסור
תרשים מצבים 5 S,W,0 W,S,0 S,B,0 W,Q,1 P2: wait(S); signal(S); Q; P1: signal(S); wait(S); A; W,end,1 X A,end,0 X end,end,0 X X אסור
תרשים מצבים 6 S,W,0 W,S,0 S,B,0 W,Q,1 P2: wait(S); signal(S); Q; P1: signal(S); wait(S); A; W,end,1 A,Q,1 X A,end,0 X end,end,0 X X אסור
תרשים מצבים 7 S,W,0 W,S,0 S,B,0 W,Q,1 P2: wait(S); signal(S); Q; P1: signal(S); wait(S); A; W,end,1 A,Q,1 X end,Q,0 A,end,0 X end,end,0 X X אסור
תרשים מצבים 8 S,W,0 W,S,0 S,B,0 W,Q,1 P2: wait(S); signal(S); Q; P1: signal(S); wait(S); A; W,end,1 A,Q,1 X end,Q,0 X A,end,0 X end,end,0 X X אסור
תרשים מצבים 9 S,W,0 W,S,0 S,B,0 W,Q,1 P2: wait(S); signal(S); Q; P1: signal(S); wait(S); A; W,end,1 A,Q,1 X end,Q,0 X A,end,0 X end,end,0 X X אסור B,S,0
תרשים מצבים 10 S,W,0 W,S,0 S,B,0 W,Q,1 P2: wait(S); signal(S); Q; P1: signal(S); wait(S); A; W,end,1 A,Q,1 X end,Q,0 X A,end,0 X end,end,0 X X אסור B,S,0 אסור
תרשים מצבים 11 S,W,0 W,S,0 S,B,0W,W,1 W,Q,1 P2: wait(S); signal(S); Q; P1: signal(S); wait(S); A; W,end,1 A,Q,1 X end,Q,0 X A,end,0 X end,end,0 X X אסור B,S,0 אסור
תרשים מצבים 12 S,W,0 W,S,0 A,W,0 S,B,0W,W,1 W,Q,1 A,B,0 P2: wait(S); signal(S); Q; P1: signal(S); wait(S); A; W,end,1 A,Q,1 X end,Q,0 X A,end,0 X end,end,0 X X אסור B,S,0 אסור
תרשים מצבים 13 S,W,0 W,S,0 A,W,0 S,B,0W,W,1 W,Q,1 A,B,0 P2: wait(S); signal(S); Q; P1: signal(S); wait(S); A; W,end,1 A,Q,1 end,B,0 X end,Q,0 X A,end,0 X end,end,0 X X אסור B,S,0 אסור
תרשים מצבים 14 S,W,0 W,S,0 A,W,0 S,B,0W,W,1 W,Q,1 A,B,0 P2: wait(S); signal(S); Q; P1: signal(S); wait(S); A; W,end,1 A,Q,1 end,B,0 X X end,Q,0 X A,end,0 X end,end,0 X X אסור B,S,0 אסור
תרשים מצבים 15 S,W,0 W,S,0 A,W,0 S,B,0W,W,1 W,Q,1 A,B,0end,W,0 P2: wait(S); signal(S); Q; P1: signal(S); wait(S); A; W,end,1 A,Q,1 end,B,0 X X end,Q,0 X A,end,0 X end,end,0 X X אסור B,S,0 אסור
תרשים מצבים 16 S,W,0 W,S,0 A,W,0 S,B,0W,W,1 W,Q,1 A,B,0end,W,0 P2: wait(S); signal(S); Q; P1: signal(S); wait(S); A; W,end,1 A,Q,1 X end,B,0 X X end,Q,0 X A,end,0 X end,end,0 X X אסור B,S,0 אסור