Petriho sítě - invarianty

asked Nov 13 '14

Tomáš Marek
50 ●3 ●4 ●8

Ahoj,

chtěl bych se zeptat, jak se v petriho sítích mají najít p-invarianty a t-invarianty. V přednášce z MI-TES jsou tomu věnovány 2 slidy a postup tam vůbec vysvětlen není. Na internetu jsem našel nějaké postupy pomocí matic. Když jsem je ale zkoušel na příkladu se semaforem z přednášek, tak mně to vyšlo trochu jinak než v řešení (http://www.informatik.uni-hamburg.de/TGI/PetriNets/introductions/aalst/trafficlight2_PI.swf). Mohl by mi prosím někdo vysvětlit jak na to krok za krokem.

Díky moc, Tom

answered Nov 13 '14

Iva Houdková
251 ●6 ●8 ●16

Co si tak pamatuju, žádný podrobný postup na přednášce neuváděl, víceméně prostě metoda kouknu a vidím. Ty p-invarianty jsou prostě rovnice, které platí v každém okamžiku v té síti - nezávisle na odpálených přechodech a jejich pořadí. t-invarianty jsou jednodušší, jsi v nějakém značení a ta invarianta by měla být počet odpálení přechodů, kterými se dostaneš do původního značení (u toho úkolu to předpokládám znamená, že musíš zjistit po kolika krocích se odpalováním přechodů dostaneš zpátky do toho stavu, co tam je).

Stejně jako u všeho z tohohle předmětu jsou slajdy totálně wtf a člověk si na to musí přijít tak nějak sám.

link

add a comment

Petriho sítě - invarianty

1 Answer

Your answer

Question tools

Stats

Related questions