​wystąpienie mgr Michała Horodelskiego (KUL) dotyczy modelu systemu stanowiącego rozszerzenie czasowejsieci Petriego ze stoperami i parametrami czasu i sieci kontekstowej. Sieć ze stoperami i parametrami czasu jest rozszerzeniem czasowej sieci Petriego z interwałami dla tranzycji (ang. Time Petri Net) i umożliwia modelowanie wstrzymania i wznowienia akcji oraz stosuje metodę określania dat dla wystąpień zdarzeń w symbolicznym rozwinięciu modelu. Sieć kontekstowa jest rozszerzeniem zwykłej sieci Petriego o miejsca, których stan wpływa na umożliwienie tranzycji, ale nie jest przez ich wykonanie zmieniany. Celem referatu będzie przedstawienie pomysłu wyznaczania reprezentatywnego skończonego początkowego fragmentu zachowania się modelowanego systemu, tzn. fragmentu reprezentujacego własności całego zachowania takie jak np. osiągalność stanów. Pomysł zostanie zilustrowany na przykładzie systemu realizującego paradygmat programowania klient-­serwer.