Form vizsga 2002. 06. 11. forrásának megtekintése

{{GlobalTemplate|Infoalap|FormModVizsga20020611}}


...

==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 &#217; open) � (&#216; 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)<br>
Negált állítás: (at0 /\ open) /\ (open U at1)<br>
Ismert: qUp==p \/ (q /\ X(qUp)) (azonosság)<br>
s5 |= at0 /\ open /\ (open U at1) = at0 /\ open /\ (at1 \/ (open /\ X(open U at1))) =...<br>
<br>
s5 állapotban nem lehet open.


...

-- [[KarakoMiklos|palacsint]] - 2006.06.12.


[[Category:Infoalap]]