Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: state exploration

Sortuj według:

Ogranicz wyniki do:

Analiza cyklicznych sieci Petriego przy pomocy dekompozycji blokowej

Karatkiewicz A.

Pomiary Automatyka Kontrola

2007

R. 53, nr 5

69-71

Artykuł przedstawia metodę analizy żywotności i bezpieczeństwa sieci Petriego, na których znakowanie początkowe i strukturę nałożone są pewne ograniczenia, typowe dla sieci cyklicznych, modelujących algorytmy sterowania. Metoda jest wzorowana na metodzie analizy operacyjnych sieci Petriego i jest jej zaadaptowaniem do innej klasy sieci. Przedstawiona metoda polega na dekompozycji sieci i konstruowaniu przestrzeni osiągalności bloków, w kolejności wyznaczonej strukturą sieci. W artykule przytoczono wyniki eksperymentów, opisujące stopień redukcji przestrzeni stanów.

The paper presents a methods of deciding of liveness and safeness of Petri nets with certain restrictions imposed on their structure and initial marking, which are typical for cyclic nets, modeling the control algorithms. The method is based on the method of analysis of operational Petri nets, and it is an adaptation of this method to another class of nets. The method decomposes the net and explores state spaces of its blocks in an order depending on the net structure. The experimental results are presented, demonstrating reduction of state space.

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.