|
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.
|
|
|
|
|
|
|
|