Form vizsga 2002. 06. 11.

Ez az oldal a korábbi SCH wikiről lett áthozva.

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.