Taula-stats-juk
Descripció del cilce d'execució: |
Cicle d'execució: i1 > s1..sn > e1 |
Cicle de realimentació: r(0) > r(M,D,R) > r(N) |
Temps máxim de cicle r(M): 725ms |
Descripció dels estats de realimentació: r[0,N,M,D,R], r(sn)=rn |
r(0): estat inicial zero. |
r(N): sense realimentació. |
r(M): sn+1 realimentació següent definida al diccionari d'estats. |
r(D): estat on espera ordre del estat següent desde el servidor. |
r(R): realimentació de cada estat. |
Descripció de la capçalera de la taula de estats: |
sn,sn+1: estat inicial, estat següent. |
cin,cout: condició de entrada, condició de sortida del estat. |
r(): funció de realimentació. |
vin,vout: variable d'entrada i de sortida del cada estat. |
vR: variable de realimentació del estat principal s1. |
Diccionari d'estats: DS(rn)=jmode |
dstats={jstat:jmode} |
dstats={ |
'inici':'pista','iniciat':'escolti','mapeig':'mapache', 'imap':'mapache', |
'mapafet':'escolti','ubicat':'escolti', 'llestos':'bandera','verd':'arcade', |
'rodat':'escolti', 'mossegat':'escolti' |
} |
O=Poweroff, N=Null, T=True, F=False, P=Poweron |
sn | cin | cout | r() | vin | vout | vR | sn+1 |
i1 | P | i1.c0 | N | P | T | N | s1 |
s1 | sn.c0 | s1.cn | M | jstat=rn | jmode=DS(rn) | fcar=T | sn |
s1 | i1.c0 | s1.c0 | M | T | fcar=F | fcar=T | e1 |
s2 | s1.c2 | s2.c0 | M | jmode='bandera' | jstat='rodat' | fcar=T | s1 |
s3 | s1.c3 | s3.c0 | M | jmode='arcade' | jstat='rodat' | fcar=T | s1 |
s4 | s1.c4 | s4.c0 | M | jmode='mapache' | jstat='mapafet' | fcar=T | s1 |
s5 | s1.c5 | s5.c0 | M | jmode='pista' | jstat='ubicat' | fcar=T | s1 |
s6 | s1.c6 | s6.c0,s6.c1 | M,D | jmode='gremlin' | jstat='mossegat','escolti' | fcar=T | s1,s8 |
s7 | s1.c7 | s7.c0 | M | jmode='kasa' | jstat='fi' | fcar=T | s1 |
s8 | s1.c8 | s8.c0 | M | jmode='escolti' | jstat=rn | fcar=T | s1 |
s2a | s2.c1 | s2.c0,s2a.c1 | M,R | jstat='llestos' | jstat=rn,'llestos' | fcar=T | s1,s2a |
s2b | s2.c2 | s2.c0,s2b.c1,s2b.c3 | M,R,D | jstat='zebra' | jstat=rn,'zebra','rodat' | fcar=T | s1,s2b,s8 |
s3a | s3.c1 | s3a.c1 | R | jstat='verd' | jstat='verd' | fcar=T | s3a |
s4a | s4.c1 | s4.c0 | M | jstat='imap ' | jstat=rn | fcar=T | s1 |
s4b | s4.c2 | s4.c0 ,s4b.c1 | M ,R | jstat='mapeig' | jstat=rn,'mapeig' | fcar=T | s1,s4b |
s4c | s4.c3 | s4.c0,s4b.c1 | M,D | jstat='mapafet' | jstat=rn,'mapafet' | fcar=T | s1,s8 |
s5a | s5.c1 | s5.c0 | M | jstat='inici ' | jstat=rn | fcar=T | s1 |
s5b | s5.c2 | s5.c0,s5b.c1 | M ,R | jstat='ubicant' | jstat=rn,'ubicant' | fcar=T | s1,s5b |
s5c | s5.c3 | s5.c0,s5c.c1 | M,D | jstat='ubicat ' | jstat=rn,'rodat' | fcar=T | s1,s8 |
s7a | s7.c1 | s7.c0 | M | jmode='escolti' | jstat=rn | fcar=T | s1 |
e1 | s1.c0 | N | N | fcar=F | fcar=F | fcar=F | 0 |