Numer: 07/2009 Str. 182-184
Autorzy: Andrei Karatkevich :
Tytuł: Analiza współbieżnych systemów dyskretnych: zbiory uporczywe vs. symulacja współbieżna
Streszczenie: 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.
Słowa kluczowe: systemy dyskretne, sieci Petriego, eksploracja przestrzeni stanów, wykrywanie zakleszczeń