תרשים מצבים 1

35
S,S,0 P2: signal (S); wait(S ); Q; wait(S ); signal (S); P1: signal (S); wait(S ); A; wait(S ); signal (S);

description

P1: signal(S); wait(S); A; wait(S); signal(S);. S,S,0. P2: signal(S); wait(S); Q; wait(S); signal(S);. תרשים מצבים 1. P1: signal(S); wait(S); A; wait(S); signal(S);. S,S,0. P2: signal(S); wait(S); Q; wait(S); signal(S);. תרשים מצבים 2. S,W,1. S,Q,0. S,W,0. S,B,0. - PowerPoint PPT Presentation

Transcript of תרשים מצבים 1

Page 1: תרשים מצבים 1

1תרשים מצבים S,S,0 P2:

signal(S);wait(S);Q;wait(S);signal(S);

P1:signal(S);wait(S);A;wait(S);signal(S);

Page 2: תרשים מצבים 1

2תרשים מצבים S,S,0

S,W,1

S,Q,0

S,W,0

S,B,0

אסור

P2:signal(S);wait(S);Q;wait(S);signal(S);

P1:signal(S);wait(S);A;wait(S);signal(S);

Page 3: תרשים מצבים 1

3תרשים מצבים S,S,0

S,W,1

S,Q,0

S,W,0

S,B,0

W,S,0אסור

W,end,1

X

P2:signal(S);wait(S);Q;wait(S);signal(S);

P1:signal(S);wait(S);A;wait(S);signal(S);

Page 4: תרשים מצבים 1

4תרשים מצבים S,S,0

S,W,1

S,Q,0

S,W,0

S,B,0

W,S,0אסור

W,end,1

XA,end,0

X

P2:signal(S);wait(S);Q;wait(S);signal(S);

P1:signal(S);wait(S);A;wait(S);signal(S);

Page 5: תרשים מצבים 1

5תרשים מצבים S,S,0

S,W,1

S,Q,0

S,W,0

S,B,0

W,S,0אסור

W,end,1

XA,end,0

XW,end,0

X

P2:signal(S);wait(S);Q;wait(S);signal(S);

P1:signal(S);wait(S);A;wait(S);signal(S);

Page 6: תרשים מצבים 1

6תרשים מצבים S,S,0

S,W,1

S,Q,0

S,W,0

S,B,0

W,S,0אסור

W,end,1

XA,end,0

XW,end,0

XB,end,0

X

P2:signal(S);wait(S);Q;wait(S);signal(S);

P1:signal(S);wait(S);A;wait(S);signal(S);

Page 7: תרשים מצבים 1

א6תרשים מצבים S,S,0

S,W,1

S,Q,0

S,W,0

S,B,0

W,S,0אסור

W,end,1

XA,end,0

XW,end,0

XB,end,0

Xאסור

P2:signal(S);wait(S);Q;wait(S);signal(S);

P1:signal(S);wait(S);A;wait(S);signal(S);

Page 8: תרשים מצבים 1

7תרשים מצבים S,S,0

S,W,1

S,Q,0

S,W,0

S,B,0

W,S,0אסור

W,end,1

XA,end,0

XW,end,0

XB,end,0

Xאסור

B,S,0

P2:signal(S);wait(S);Q;wait(S);signal(S);

P1:signal(S);wait(S);A;wait(S);signal(S);

Page 9: תרשים מצבים 1

א7תרשים מצבים S,S,0

S,W,1

S,Q,0

S,W,0

S,B,0

W,S,0אסור

W,end,1

XA,end,0

XW,end,0

XB,end,0

Xאסור

B,S,0

אסור

P2:signal(S);wait(S);Q;wait(S);signal(S);

P1:signal(S);wait(S);A;wait(S);signal(S);

Page 10: תרשים מצבים 1

8תרשים מצבים S,S,0

S,W,1

S,Q,0

S,W,0

S,B,0

W,S,0אסור

W,end,1

XA,end,0

XW,end,0

XB,end,0

Xאסור

B,S,0

אסור

W,W,1

Page 11: תרשים מצבים 1

9תרשים מצבים S,S,0

S,W,1

S,Q,0

S,W,0

S,B,0

W,S,0אסור

W,end,1

XA,end,0

XW,end,0

XB,end,0

Xאסור

B,S,0

אסור

W,W,1

A,W,0

A,B,0

אסור

P2:signal(S);wait(S);Q;wait(S);signal(S);

P1:signal(S);wait(S);A;wait(S);signal(S);

Page 12: תרשים מצבים 1

10תרשים מצבים S,S,0

S,W,1

S,Q,0

S,W,0

S,B,0

W,S,0אסור

W,end,1

XA,end,0

XW,end,0

XB,end,0

Xאסור

B,S,0

אסור

W,W,1

A,W,0

A,B,0

W,B,0אסור

אסור

P2:signal(S);wait(S);Q;wait(S);signal(S);

P1:signal(S);wait(S);A;wait(S);signal(S);

Page 13: תרשים מצבים 1

11תרשים מצבים S,S,0

S,W,1

S,Q,0

S,W,0

S,B,0

W,S,0אסור

W,end,1

XA,end,0

XW,end,0

XB,end,0

Xאסור

B,S,0

אסור

W,W,1

A,W,0

A,B,0

W,B,0אסור

אסורB,B,0

אסור

P2:signal(S);wait(S);Q;wait(S);signal(S);

P1:signal(S);wait(S);A;wait(S);signal(S);

Page 14: תרשים מצבים 1

א11תרשים מצבים S,S,0

S,W,1

S,Q,0

S,W,0

S,B,0

W,S,0אסור

W,end,1

XA,end,0

XW,end,0

XB,end,0

Xאסור

B,S,0

אסור

W,W,1

A,W,0

A,B,0

W,B,0אסור

אסורB,B,0

אסוראסור

P2:signal(S);wait(S);Q;wait(S);signal(S);

P1:signal(S);wait(S);A;wait(S);signal(S);

Page 15: תרשים מצבים 1

12תרשים מצבים S,S,0

S,W,1

S,Q,0

S,W,0

S,B,0

W,S,0אסור

W,end,1

XA,end,0

XW,end,0

XB,end,0

Xאסור

B,S,0

אסור

W,W,1

A,W,0

A,B,0

W,B,0אסור

אסורB,B,0

אסוראסור

W,W,0

P2:signal(S);wait(S);Q;wait(S);signal(S);

P1:signal(S);wait(S);A;wait(S);signal(S);

Page 16: תרשים מצבים 1

13תרשים מצבים S,S,0

S,W,1

S,Q,0

S,W,0

S,B,0

W,S,0אסור

W,end,1

XA,end,0

XW,end,0

XB,end,0

Xאסור

B,S,0

אסור

W,W,1

A,W,0

A,B,0

W,B,0אסור

אסורB,B,0

אסוראסור

W,W,0

B,W,0

P2:signal(S);wait(S);Q;wait(S);signal(S);

P1:signal(S);wait(S);A;wait(S);signal(S);

Page 17: תרשים מצבים 1

א13תרשים מצבים S,S,0

S,W,1

S,Q,0

S,W,0

S,B,0

W,S,0אסור

W,end,1

XA,end,0

XW,end,0

XB,end,0

Xאסור

B,S,0

אסור

W,W,1

A,W,0

A,B,0

W,B,0אסור

אסורB,B,0

אסוראסור

W,W,0

B,W,0

אסור

P2:signal(S);wait(S);Q;wait(S);signal(S);

P1:signal(S);wait(S);A;wait(S);signal(S);

Page 18: תרשים מצבים 1

14תרשים מצבים S,S,0

S,W,1

S,Q,0

S,W,0

S,B,0

W,S,0אסור

W,end,1

XA,end,0

XW,end,0

XB,end,0

Xאסור

B,S,0

אסור

W,W,1

A,W,0

A,B,0

W,B,0אסור

אסורB,B,0

אסוראסור

W,W,0

B,W,0

אסור

W,Q,1

P2:signal(S);wait(S);Q;wait(S);signal(S);

P1:signal(S);wait(S);A;wait(S);signal(S);

Page 19: תרשים מצבים 1

15תרשים מצבים S,S,0

S,W,1

S,Q,0

S,W,0

S,B,0

W,S,0אסור

W,end,1

XA,end,0

XW,end,0

XB,end,0

Xאסור

B,S,0

אסור

W,W,1

A,W,0

A,B,0

W,B,0אסור

אסורB,B,0

אסוראסור

W,W,0

B,W,0

אסור

W,Q,1

A,Q,0

P2:signal(S);wait(S);Q;wait(S);signal(S);

P1:signal(S);wait(S);A;wait(S);signal(S);

Page 20: תרשים מצבים 1

16תרשים מצבים S,S,0

S,W,1

S,Q,0

S,W,0

S,B,0

W,S,0אסור

W,end,1

XA,end,0

XW,end,0

XB,end,0

Xאסור

B,S,0

אסור

W,W,1

A,W,0

A,B,0

W,B,0אסור

אסורB,B,0

אסוראסור

W,W,0

B,W,0

אסור

W,Q,1

A,Q,0

W,Q,0

P2:signal(S);wait(S);Q;wait(S);signal(S);

P1:signal(S);wait(S);A;wait(S);signal(S);

Page 21: תרשים מצבים 1

17תרשים מצבים S,S,0

S,W,1

S,Q,0

S,W,0

S,B,0

W,S,0אסור

W,end,1

XA,end,0

XW,end,0

XB,end,0

Xאסור

B,S,0

אסור

W,W,1

A,W,0

A,B,0

W,B,0אסור

אסורB,B,0

אסוראסור

W,W,0

B,W,0

אסור

W,Q,1

A,Q,0

W,Q,0

B,Q,0

P2:signal(S);wait(S);Q;wait(S);signal(S);

P1:signal(S);wait(S);A;wait(S);signal(S);

Page 22: תרשים מצבים 1

א17תרשים מצבים S,S,0

S,W,1

S,Q,0

S,W,0

S,B,0

W,S,0אסור

W,end,1

XA,end,0

XW,end,0

XB,end,0

Xאסור

B,S,0

אסור

W,W,1

A,W,0

A,B,0

W,B,0אסור

אסורB,B,0

אסוראסור

W,W,0

B,W,0

אסור

W,Q,1

A,Q,0

W,Q,0

B,Q,0

אסור

P2:signal(S);wait(S);Q;wait(S);signal(S);

P1:signal(S);wait(S);A;wait(S);signal(S);

Page 23: תרשים מצבים 1

18תרשים מצבים S,S,0

S,W,1

S,Q,0

S,W,0

S,B,0

W,S,0אסור

W,end,1

XA,end,0

XW,end,0

XB,end,0

Xאסור

B,S,0

אסור

W,W,1

A,W,0

A,B,0

W,B,0אסור

אסורB,B,0

אסוראסור

W,W,0

B,W,0

אסור

W,Q,1

A,Q,0

W,Q,0

B,Q,0

אסור

W,W,2

P2:signal(S);wait(S);Q;wait(S);signal(S);

P1:signal(S);wait(S);A;wait(S);signal(S);

Page 24: תרשים מצבים 1

19תרשים מצבים S,S,0

S,W,1

S,Q,0

S,W,0

S,B,0

W,S,0אסור

W,end,1

XA,end,0

XW,end,0

XB,end,0

Xאסור

B,S,0

אסור

W,W,1

A,W,0

A,B,0

W,B,0אסור

אסורB,B,0

אסוראסור

W,W,0

B,W,0

אסור

W,Q,1

A,Q,0

W,Q,0

B,Q,0

אסור

W,W,2

A,W,1

Page 25: תרשים מצבים 1

20תרשים מצבים S,S,0

S,W,1

S,Q,0

S,W,0

S,B,0

W,S,0אסור

W,end,1

XA,end,0

XW,end,0

XB,end,0

Xאסור

B,S,0

אסור

W,W,1

A,W,0

A,B,0

W,B,0אסור

אסורB,B,0

אסוראסור

W,W,0

B,W,0

אסור

W,Q,1

A,Q,0

W,Q,0

B,Q,0

אסור

W,W,2

A,W,1

W,W,1

P2:signal(S);wait(S);Q;wait(S);signal(S);

P1:signal(S);wait(S);A;wait(S);signal(S);

Page 26: תרשים מצבים 1

21תרשים מצבים S,S,0

S,W,1

S,Q,0

S,W,0

S,B,0

W,S,0אסור

W,end,1

XA,end,0

XW,end,0

XB,end,0

Xאסור

B,S,0

אסור

W,W,1

A,W,0

A,B,0

W,B,0אסור

אסורB,B,0

אסוראסור

W,W,0

B,W,0

אסור

W,Q,1

A,Q,0

W,Q,0

B,Q,0

אסור

W,W,2

A,W,1

W,W,1

S,W,0

S,B,0

אסור

P2:signal(S);wait(S);Q;wait(S);signal(S);

P1:signal(S);wait(S);A;wait(S);signal(S);

Page 27: תרשים מצבים 1

22תרשים מצבים S,S,0

S,W,1

S,Q,0

S,W,0

S,B,0

W,S,0אסור

W,end,1

XA,end,0

XW,end,0

XB,end,0

Xאסור

B,S,0

אסור

W,W,1

A,W,0

A,B,0

W,B,0אסור

אסורB,B,0

אסוראסור

W,W,0

B,W,0

אסור

W,Q,1

A,Q,0

W,Q,0

B,Q,0

אסור

W,W,2

A,W,1

W,W,1

S,W,0

S,B,0

אסורend,Q,0

end,W,0

end,B,0

אסור

P2:signal(S);wait(S);Q;wait(S);signal(S);

P1:signal(S);wait(S);A;wait(S);signal(S);

Page 28: תרשים מצבים 1

א22תרשים מצבים S,S,0

S,W,1

S,Q,0

S,W,0

S,B,0

W,S,0אסור

W,end,1

XA,end,0

XW,end,0

XB,end,0

Xאסור

B,S,0

אסור

W,W,1

A,W,0

A,B,0

W,B,0אסור

אסורB,B,0

אסוראסור

W,W,0

B,W,0

אסור

W,Q,1

A,Q,0

W,Q,0

B,Q,0

אסור

W,W,2

A,W,1

W,W,1

S,W,0

S,B,0

אסורend,Q,0

end,W,0

end,B,0

אסור

X

X

X

P2:signal(S);wait(S);Q;wait(S);signal(S);

P1:signal(S);wait(S);A;wait(S);signal(S);

Page 29: תרשים מצבים 1

23תרשים מצבים S,S,0

S,W,1

S,Q,0

S,W,0

S,B,0

W,S,0אסור

W,end,1

XA,end,0

XW,end,0

XB,end,0

Xאסור

B,S,0

אסור

W,W,1

A,W,0

A,B,0

W,B,0אסור

אסורB,B,0

אסוראסור

W,W,0

B,W,0

אסור

W,Q,1

A,Q,0

W,Q,0

B,Q,0

אסור

W,W,2

A,W,1

W,W,1

S,W,0

S,B,0

אסורend,Q,0

end,W,0

end,B,0

אסור

X

X

X

end,W,1

P2:signal(S);wait(S);Q;wait(S);signal(S);

P1:signal(S);wait(S);A;wait(S);signal(S);

Page 30: תרשים מצבים 1

א23תרשים מצבים S,S,0

S,W,1

S,Q,0

S,W,0

S,B,0

W,S,0אסור

W,end,1

XA,end,0

XW,end,0

XB,end,0

Xאסור

B,S,0

אסור

W,W,1

A,W,0

A,B,0

W,B,0אסור

אסורB,B,0

אסוראסור

W,W,0

B,W,0

אסור

W,Q,1

A,Q,0

W,Q,0

B,Q,0

אסור

W,W,2

A,W,1

W,W,1

S,W,0

S,B,0

אסורend,Q,0

end,W,0

end,B,0

אסור

X

X

X

end,W,1

X

P2:signal(S);wait(S);Q;wait(S);signal(S);

P1:signal(S);wait(S);A;wait(S);signal(S);

Page 31: תרשים מצבים 1

24תרשים מצבים S,S,0

S,W,1

S,Q,0

S,W,0

S,B,0

W,S,0אסור

W,end,1

XA,end,0

XW,end,0

XB,end,0

Xאסור

B,S,0

אסור

W,W,1

A,W,0

A,B,0

W,B,0אסור

אסורB,B,0

אסוראסור

W,W,0

B,W,0

אסור

W,Q,1

A,Q,0

W,Q,0

B,Q,0

אסור

W,W,2

A,W,1

W,W,1

S,W,0

S,B,0

אסורend,Q,0

end,W,0

end,B,0

אסור

X

X

X

end,W,1

X

W,S,1

P2:signal(S);wait(S);Q;wait(S);signal(S);

P1:signal(S);wait(S);A;wait(S);signal(S);

Page 32: תרשים מצבים 1

25תרשים מצבים S,S,0

S,W,1

S,Q,0

S,W,0

S,B,0

W,S,0אסור

W,end,1

XA,end,0

XW,end,0

XB,end,0

Xאסור

B,S,0

אסור

W,W,1

A,W,0

A,B,0

W,B,0אסור

אסורB,B,0

אסוראסור

W,W,0

B,W,0

אסור

W,Q,1

A,Q,0

W,Q,0

B,Q,0

אסור

W,W,2

A,W,1

W,W,1

S,W,0

S,B,0

אסורend,Q,0

end,W,0

end,B,0

אסור

X

X

X

end,W,1

X

W,S,1

A,S,0

P2:signal(S);wait(S);Q;wait(S);signal(S);

P1:signal(S);wait(S);A;wait(S);signal(S);

Page 33: תרשים מצבים 1

26תרשים מצבים S,S,0

S,W,1

S,Q,0

S,W,0

S,B,0

W,S,0אסור

W,end,1

XA,end,0

XW,end,0

XB,end,0

Xאסור

B,S,0

אסור

W,W,1

A,W,0

A,B,0

W,B,0אסור

אסורB,B,0

אסוראסור

W,W,0

B,W,0

אסור

W,Q,1

A,Q,0

W,Q,0

B,Q,0

אסור

W,W,2

A,W,1

W,W,1

S,W,0

S,B,0

אסורend,Q,0

end,W,0

end,B,0

אסור

X

X

X

end,W,1

X

W,S,1

A,S,0

W,S,0

P2:signal(S);wait(S);Q;wait(S);signal(S);

P1:signal(S);wait(S);A;wait(S);signal(S);

Page 34: תרשים מצבים 1

27תרשים מצבים S,S,0

S,W,1

S,Q,0

S,W,0

S,B,0

W,S,0אסור

W,end,1

XA,end,0

XW,end,0

XB,end,0

Xאסור

B,S,0

אסור

W,W,1

A,W,0

A,B,0

W,B,0אסור

אסורB,B,0

אסוראסור

W,W,0

B,W,0

אסור

W,Q,1

A,Q,0

W,Q,0

B,Q,0

אסור

W,W,2

A,W,1

W,W,1

S,W,0

S,B,0

אסורend,Q,0

end,W,0

end,B,0

אסור

X

X

X

end,W,1

X

W,S,1

A,S,0

W,S,0

B,S,0

P2:signal(S);wait(S);Q;wait(S);signal(S);

P1:signal(S);wait(S);A;wait(S);signal(S);

Page 35: תרשים מצבים 1

תרשים מצבים סופיS,S,0

W,W,2A,S,0

S,W,1W,S,1

S,Q,0

W,Q,1A,W,1 S,W,0W,S,0

A,Q,0W,W,1 W,W,1 S,B,0B,S,0

A,W,0W,Q,0 W,S,0S,W,0

W,end,1

X

A,B,0B,Q,0

אסור

W,W,0

B,W,0 W,B,0

B,B,0

B,S,0

A,end,0אסור

אסוראסור

אסור

W,end,0 X

XB,end,0

Xאסור

S,B,0end,W,1

Xאסורend,Q,0

X end,W,0

end,B,0X

Xאסור

אסוראסור

אסוראסור

P2:signal(S);wait(S);Q;wait(S);signal(S);

P1:signal(S);wait(S);A;wait(S);signal(S);