exercices graphe d'etats

8/17/2019 exercices Graphe d'Etats

1/11

CPGE I L P.P. O G

O

L A

B,

B.

L B

A,

A.

E

A .

L

; B

( A)

A C.

U C

. L

L A.

1/ F

2/ C '

A B

C 3 :

AE '

C :

AAE, CCE

E C

CA

C

1

S I

/

:

C,

C,

,

( A)

C. S,

;

.

.

,

("?").

3

A

EE DE EE E E

' ' D

' '

C ?

I

/

, A, H, M, M

C C.

EE :

' ?

' '

C

D 3


2/11

CPGE I L P.P. O G 2

S I I

/

S 2 ' 1 2 :

1 2

0 1 1 0,

.

1/ 0 1 ?

.

2/ 1 0 1 ?

.

3/ P ' 2 1 ' '

25 1

0 1 4

0 1 .

/

1/ F

.

I

. S C .

2/ ' , ' '

' ( ).

3/ ' ,

( : " / C := C+1").


3/11

CPGE I L P.P. O G 3

S I I

ATTENTE

C1>0 / T2 := 1 ;C2>0 / T1 := 1 ;[Exit]/T2 := 0 ;

T1 := 0 ;

ROTATION VERS POSITION "ZERO"

satellite n demandé . parabole ne pointant pas vers n

[Entry]/C1 := 0 ;C2 := 0 ;

RAZ COMPTEURS

a

i / C2 := C2 + 1 ;[Entry]/T2 := 1 ;[Exit]/T2 := 0 ;

ROTATION VERS OUEST

C1=0 . C2=0 . n en ouest C1=0 . C2=0 . n en est

C2=k

i / C1 := C1 + 1 ;[Entry]/T1 := 1 ;[Exit]/T1 := 0 ;

ROTATION VERS EST

C1=k

/ '

1/ 1

S '

A,

A ( D), B

A ( ) '.

D ' .

2/ : 2

P , 1 A1

2 A2, 1 B1

2 B2.

L 1 B1, A1

2 B2. L

2 B2, A2 1

B1.

D ' . O /.

/

U ,

.

C ; ,

A 19 E ; T 1C 5 O. U

"" , , 0 O, 0 E. L

, F.

L ,

M1 ' :

E :

• P

, F

""

(

' ROTATION ERS POSITION"ERO"). L "".

• L' 1 M1

E ; 2

.

• C1 C2 2

;

.

.

L

,

"".

M M1


4/11

CPGE I L P.P. O G 4

S I I

O ( ) T 1C,

5 O. L ,

C2 20.

1/ I (C2 ≠ 20).

2/ C 1, 2, AENE

OAION E OE :

3/ C ("?")

A 19 E,

76.

/ ' :

O :

L ( ).

L A B1,

1 10 ;

L B C

B2, 2 12 , 3 3,5 ;

L B C 50 ( )

ATTENTE REMPLISSAGE ( ) ;

D ,

(5 6), .

L 8 ;

O ( ) B1

B2 .

L .

E , ( ). L

(INIT) 4 7.

M

3

P A P

B C

T B1 T B2

1

8

4 5 76

M

32

ATTENTE

C1>0 / T2 := 1 ;C2>0 / T1 := 1 ;[Exit]/T2 := 0 ;

T1 := 0 ;


TELECOM 1C demandé . C2 20

[Entry]/C1 := 0 ;C2 := 0 ;

RAZ COMPTEURS

a

i / C2 := C2 + 1 ;[Entry]/T2 := 1 ;

[Exit]/T2 := 0 ;

ROTATION VERS OUEST

C1=0 . C2=0

C2=20

≠

1

2

AEE

AE E

ATTENTE

C1>0 / T2 := 1 ;

C2>0 / T1 := 1 ;[Exit]/T2 := 0 ;T1 := 0 ;


ASTRA demandé .

[Entry]/C1 := 0 ;C2 := 0 ;

RAZ COMPTEURS

a

i /[Entry]/[Exit]/

C1=0 . C2=0

?

?

??

??


5/11

CPGE I L P.P. O G 5

S I I

1/ C '

INI ( ""

)

/.

P

4 ,

" /

" :

2/ P "" ?

3/ "" .

4/ C ' DOAGE

.

5/ "?"

.

ATTENTE

INIT

dcy . ci

? (fin d'init)

DOSAGE

dcy . ci

? (fin de dosage)

ATTENTE REMPLISSAGE

.....................................

REMPLISSAGE MALAXEUR

B1 et B2 vides :.........................

.....................................

MELANGE

.....................................

EVACUATION

after(10min)

malaxeur vide :......................

GRAPHE PRINCIPAL

FIN INIT

............

...................

...................

........

........

...................

...................

...................

...................

...................

...................

...................

......

INIT

...................../.....................

...................../.....................

...................../.....................

...................../.....................

VIDANGE

......

.................. ..................

............ ............

.................. / ....................................

............ ............

FIN DOSAGE

DOSAGE


6/11

CPGE I L P.P. O G 6

S I I

ATTENTE

?

?

OUVRIR := 1[Exit]/OUVRIR := 0

OUVERTURE

?

?

FERMER := 1[Exit]/FERMER := 0

FERMETURE

?

/

L D :

G :

O / ( ) ; ,

, ' ;

' ( ) . S '

/, ' .

G ' :

' ' '

( )

. S ' ,

' . L' '

'.

P ' :

;

' ' , 1

.

C D.

/ '

L B

. L

( " " ). O

"" " " " " " ".

1/ C '

" ". L , " ".

2/ E ,

( " "). C

.

3/ E ,

( ""), ,

( ""),

. C .

C D.

/

U 1, 2 3, 1, 2 3. U

1 ( ).

U .

L P .

1/ E '. O ' (

, ).


7/11

CPGE I L P.P. O G 7

S I I

D , ,

3 . A

,

. C

3 .

2/ P .

C D.

/ (' 2007)

L

. L ,

, . L

.

L

.

L

. L '

.

' D H

/

γ γγ γ 45 0

. L

/

γ γγ γ = °45 0

0 ( )

/ γ γ γ γ γ γ γ γ =45 0 45 0 (

). O 20/

.

L :

= 1

;

= 1 ;

= 1 .

'

(+ : , : ).

. C

(E). E , (E+)

, , . D

, (E)

.


8/11

CPGE I L P.P. O G

C

/ γ γγ γ 45 0 90.

R :() = 1 1 0 (

= ) ;

() = 1 0 1 (

= ).

C

/ γ γγ γ 45 0 ? C

C D.

/

fe(tf)

M- := 1[Exit]/M- := 0

FERMETUREfe(tf)

fe(tf)[ = 0°]

[ >= 45°] . tf/after(5s)

:=

/ γ γγ γ

45 0

/ γ γγ γ

45 0

/

γ γγ γ 45 0

/ γ γγ γ

45 0

S : ""

STO

8

S I

,

/ γ γγ γ 45 0 .

γ γγ γ 4

:

ARRET

re(p) . [ = 0°]

re(to)

M+ := 1E+ := 1

[Exit]/M+ := 0E+ := 0

OUVERTURE

fe(tf)

E- := 1[Exit]/E- := 0

MANUEL1

p . after(0,5s)E- := 1

MANUEL2

p . after(0,5s)

[Exit]/E- := 0

MANUEL3

p

p . [ = 0

re(to) + [ = ]

/ γ γγ γ

45 0

/

γ γγ γ 45 0

/ γ γγ γ

45 0

/ γ γγ γ

45 0

P

I

/ 0 ?

tfafter(1s)

°]

[ >= 45°] . tf/after(5s)

:=

/ γ γγ γ

45 0 / γ γγ γ

45 0

/

γ γγ γ 45 0

fe(tf)

S : "

5"


9/11

CPGE I L P.P. O G 9

S I I

ATTENTE EN a

?[Exit]/?

MARCHE DROITE A

ma

ATTENTE LIBRE A

?

[in ?

? / ?[Exit]/?

SUITE MARCHE DROITE A

?

ATTENTE OPERATEUR1

?

?[Exit]/?

MARCHE GAUCHE A

?

ATTENTE EN b

?[Exit]/?

MARCHE DROITE B

mb

ATTENTE LIBRE B

?

? .[in ?

? / ?[Exit]/?

SUITE MARCHE DROITE B

?

ATTENTE OPERATEUR2

?

?[Exit]/?

MARCHE GAUCHE B

?

TRONCON COMMUN LIBRE

A SUR TRONCON COMMUN

[in ?

re(da)

[in ?

B SUR TRONCON COMMUN

re(db)

AIGA := 1

[Exit]/AIGA := 0

AIGUILLAGE COTE A

[in ?

AIGB := 1[Exit]/AIGB := 0

AIGUILLAGE COTE B

[in ?

CHARIOTS SYNCHRONISES

D A B

( A, B).

U ' '

( ' ).

L : DA DB ,

A B .

A , .L' A ' ( ). L ,

' (, ' '

).

L' ( AA).

A , ' ' .

L B . S ,

A.

P , ' ( ) '

.

C ' .

H / :

A , A B .

A , A C.

L .


10/11

CPGE I L P.P. O G 10

S I I

ATTENTE

bf

/to


OUVERTURE

to

to


FERMETURE

tf

ATTENTE

bf + to . ef

/to


OUVERTURE

to

to


FERMETURE

tfbt . /to bt . /tf

Ventiler := 0Débit d'air := 0

ARRET VENTILATION

m

/m

Ventiler := 1Débit d'air := Consigne débit d'air

MARCHE VENTILATION

m

/m

Osciller := 0ARRET OSCILLATION

osc . [in MARCHE VENTILATION]

/osc

Osciller := 1

MARCHE OSCILLATION

osc

/osc

[in ARRET VENTILATION]

: , . ' .

/ EAE D

R :

O ' MARCHEOSCILLATION ARRET OSCILLATION AE

EA

' ()

()

A ( ), .

/ CADE D' DE ECE BA1/ 2/ I ' " " " + . ".

3/

/ E D' CAEA D'EA1/ 2/

ARRET GENERAL

m

[/h1] / P1 := 1[h1] / P1 := 0[/h2] / P2 := 1[h2] / P2 := 0[/h3] / P3 := 1[Exit]/P1 := 0

P2 := 0P3 := 0

POMPAGE P3

/m m

h3 [m]


P2 := 0P3 := 0

POMPAGE P1

/m m

h3 [m]


P2 := 0P3 := 0

POMPAGE P2

/m

h3 [m]

ARRET GENERAL

m

[/h1] / P1 := 1[h1] / P1 := 0[/h2] / P2 := 1[h2] / P2 := 0[/h3] / P3 := 1[h3] / P3 := 0[Exit]/P1 := 0

P2 := 0P3 := 0

POMPAGE

/m


11/11

CPGE I L P.P. O G

ATTENTE EN a

DA := 1[Exit]/DA := 0

MARCHE DROITE A

ma

ATTENTE LIBRE A

da

[in TRONCONCOMMUN LIBRE]

after(taig) / DA := 1[Exit]/DA := 0

SUITE MARCHE DROITE A

c

ATTENTE OPERATEUR1

mc

GA := 1[Exit]/GA := 0

MARCHE GAUCHE A

a

/ EE DE CE E

/ E E DE CA : DEACEE

11

S I

ATTENTE EN b

DB := 1[Exit]/DB := 0

MARCHE DROITE B

mb

ATTENTE LIBRE B

db

/da .[in TRONCONCOMMUN LIBRE]

after(taig) / DB := 1[Exit]/DB := 0

SUITE MARCHE DROITE B

c

ATTENTE OPERATEUR2

mc

GB := 1[Exit]/GB := 0

MARCHE GAUCHE B

b

TRONCO

A SUR TRONCON COMMUN

[in SUITE MARCHEDROITE A]

re(da)

[E

AIGU

[E

AIGU

CHARIOTS SYNCHRONISES

CE

I

COMMUN LIBRE

[in SUITE MARCHEDROITE B]

B SUR TRONCON COMMUN

re(db)

AIGA := 1xit]/AIGA := 0

ILLAGE COTE A

[in SUITE MARCHEDROITE B]

AIGB := 1xit]/AIGB := 0

ILLAGE COTE B

[in SUITE MARCHEDROITE A]

exercices graphe d'etats

Documents