תרשים מצבים 1

Post on 30-Dec-2015

27 Views

Category:

Documents

0 Downloads

Preview:

Click to see full reader

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

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

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

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

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);

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);

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);

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);

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);

א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);

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);

א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);

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

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);

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);

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);

א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);

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);

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);

א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);

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);

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);

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);

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);

א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);

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);

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

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);

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);

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);

א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);

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);

א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);

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);

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);

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);

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);

תרשים מצבים סופי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);

top related