https://vik.wiki/index.php?action=history&feed=atom&title=Form_vizsga_2002._06._11. 2026-05-12T01:45:26Z Az oldal laptörténete a wikiben MediaWiki 1.43.8 https://vik.wiki/index.php?title=Form_vizsga_2002._06._11.&diff=137291&oldid=prev 2012-10-21T19:57:59Z

<p>Új oldal, tartalma: „{{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 …”</p> <p><b>Új lap</b></p><div>{{GlobalTemplate|Infoalap|FormModVizsga20020611}}<br /> <br /> <br /> ...<br /> <br /> ==2. Petri hálók==<br /> <br /> ===Korlátos-e a háló? Élő-e a háló? Deadlockmentes-e a háló?===<br /> <br /> Az InfoSite-os &#039;&#039;Hogyan éljük túl a form vizsgát&#039;&#039; című doksival ellentétben, szerintem nem korlátos a PN. A &#039;&#039;&#039;p2 -&gt; t4 -&gt; p3 -&gt; t1 -&gt; p2&#039;&#039;&#039; tüzelési szekvenciát elvileg végtelenig lehet folytatni úgy, hogy közben folyamatos nő a tokenek száma.<br /> <br /> ...<br /> <br /> ==4. temporális logika==<br /> <br /> === 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 &amp;#217; open) � (&amp;#216; open B at1)? Válaszodat indokold a modellellenrzés tabló (tableau) módszerével! (9 pont)===<br /> <br /> (at0 /\ open) -&gt; (/open B at1) = /(at0 /\ open) \/ /(open U at1)&lt;br&gt;<br /> Negált állítás: (at0 /\ open) /\ (open U at1)&lt;br&gt;<br /> Ismert: qUp==p \/ (q /\ X(qUp)) (azonosság)&lt;br&gt;<br /> s5 |= at0 /\ open /\ (open U at1) = at0 /\ open /\ (at1 \/ (open /\ X(open U at1))) =...&lt;br&gt;<br /> &lt;br&gt;<br /> s5 állapotban nem lehet open.<br /> <br /> <br /> ...<br /> <br /> -- [[KarakoMiklos|palacsint]] - 2006.06.12.<br /> <br /> <br /> [[Category:Infoalap]]</div>

Unknown user