No/VOL: 07/2009 Page no. 182-184
Authors: Andrei Karatkevich :
Title: Analiza współbieżnych systemów dyskretnych: zbiory uporczywe vs. symulacja współbieżna
Abstract: Niezbędnym elementem procesu projektowania systemów cyfrowych jest formalna weryfikacja projektów. Ale pełna eksploracja przestrzeni stanów, dająca pełny obraz zachowania systemu, nie jest możliwa dla dużych współbieżnych systemów z powodu problemu eksplozji stanów. Dlatego ważne są algorytmy częściowej eksploracji przestrzeni stanów. Tematem artykułu jest opis i porównanie dwóch podstawowych metod takiej eksploracji: podejścia zbiorów uporczywych i współbieżnej symulacji.
Key words: systemy dyskretne, sieci Petriego, eksploracja przestrzeni stanów, wykrywanie zakleszczeń