Wyniki wyszukiwania - BazTech

Ograniczanie wyników

1 Karatkevich A.

1 2006

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: współbieżne systemy dyskretne

Sortuj według:

Ogranicz wyniki do:

Analiza współbieżnych systemów dyskretnych: uparte zbiory i symulacja współbieżna

Karatkevich A.

Pomiary Automatyka Kontrola

2006

R. 52, nr 6 bis

20-22

Tematem pracy jest problem analizy współbieżnych systemów dyskretnych, które mogą być opisane sieciami Petriego. Ogólnym podejściem do analizy, omawianym w artykule, jest symulacja optymalna, która pozwala sprawdzać właściwości sieci poprzez konstruowanie zredukowanej przestrzeni osiągalności. Dwie znane metody takiej analizy bazują na tak zwanych "upartych zbiorach" oraz na współbieżnej symulacji. W pracy przedstawiono wykorzystanie tych idei w ramach jednej metody. Omówione są też możliwości i zalety połączenia takiej metody z wykorzystaniem dekompozycji.

This paper is focused on problem of analysis of parallel discrete systems, which can be described by Petri nets. The general analysis approach considered in the paper is optimal simulation, allowing checking properties of the system by constructing reduced state spaces. Two well-known methods of such analysis are based on persistent sets and concurrent simulation, correspondingly. Here we discuss possibility of combination between those methods and describe an algorithm using both ideas. Combination with decomposition approach is also discussed.