1. תרשים מצבים - התהליכים P2: wait(S); signal(S); Q; P1: signal(S); wait(S); A;

2. תרשים מצבים 1 S,W,0 S,B,0 P2: wait(S); signal(S); Q; P1: signal(S); wait(S); A; אסור

3. תרשים מצבים 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 אסור

4. תרשים מצבים 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 אסור

5. תרשים מצבים 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 אסור

6. תרשים מצבים 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 אסור

7. תרשים מצבים 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 אסור

8. תרשים מצבים 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 אסור

9. תרשים מצבים 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 אסור

10. תרשים מצבים 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

11. תרשים מצבים 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 אסור

12. תרשים מצבים 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 אסור

13. תרשים מצבים 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 אסור

14. תרשים מצבים 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 אסור

15. תרשים מצבים 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 אסור

16. תרשים מצבים 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 אסור

17. תרשים מצבים 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 אסור