Form vizsga 2002. 06. 11.

Ez az oldal a korábbi SCH wiki-ről lett áthozva. Az eredeti változata itt érhető el.

Ha úgy érzed, hogy bármilyen formázási vagy tartalmi probléma van vele, akkor kérlek javíts rajta egy rövid szerkesztéssel.

Ha nem tudod, hogyan indulj el, olvasd el a migrálási útmutatót

...

2. Petri hálók

Korlátos-e a háló? Élő-e a háló? Deadlockmentes-e a háló?

Az InfoSite-os Hogyan éljük túl a form vizsgát című doksival ellentétben, szerintem nem korlátos a PN. A p2 -> t4 -> p3 -> t1 -> p2 tüzelési szekvenciát elvileg végtelenig lehet folytatni úgy, hogy közben folyamatos nő a tokenek száma.

...

4. temporális logika

Igaz-e a 4. rész (temporális logika) 1. feladatának liftrendszerében, hogy a lift becsukja az ajtaját, mieltt a földszintrl indulva az els emeletre érkezne, azaz (at0 Ù open) � (Ø open B at1)? Válaszodat indokold a modellellenrzés tabló (tableau) módszerével! (9 pont)

(at0 /\ open) -> (/open B at1) = /(at0 /\ open) \/ /(open U at1)
Negált állítás: (at0 /\ open) /\ (open U at1)
Ismert: qUp==p \/ (q /\ X(qUp)) (azonosság)
s5 |= at0 /\ open /\ (open U at1) = at0 /\ open /\ (at1 \/ (open /\ X(open U at1))) =...

s5 állapotban nem lehet open.

...

-- palacsint - 2006.06.12.