PLAMA Demonstrator

Komponente
failma
Fconfirm
Frbc
Fcombine
Ccss
supma
Status
$$z_{f, syn}$$
false
$$\neg z_{a,syn}$$
false
$$z_{c.f,syn}$$
false
$$\neg z_{c.a,syn}$$
false
$$z_{c.f,syn,conf}=confirm(z_{c.f,syn},$$ , , , )
$$z_{c.f,syn,conf}$$ false
$$z_{c.f,syn,counter}$$ 0
$$\neg z_{c.a,syn,conf}=confirm(\neg z_{c.a},$$ , , , )
$$\neg z_{c.a,syn,conf}$$ false
$$\neg z_{c.a,syn,counter}$$ 0
$$\neg \underline{z}_{c.a,syn,rbci,(*,o,*)}$$ $$\neg \underline{z}_{c.f,syn,rbci,(*,o,*)}$$
$$\neg \underline{z}_{c.a,mod,rbc,(*,o,*)}$$ false
$$\underline{z}_{c.f,mod,rbc,(*,o,*)}$$ false
$$s_{off,(o)}$$
false
$$s_{iso,(o)}$$
false
Cycle $$z_{c.f}$$ $$z_{c.f.counter}$$ $$z_{c.f.conf}$$ $$\neg z_{c.a}$$ $$\neg z_{c.a.counter}$$ $$\neg z_{c.a.conf}$$