Podstawy analizy rozmytej interpretowanej sieci Petriego

• Autorzy: Gniewek L.
• Języki publikacji: PL

Abstrakty

PL

W pracy opisano formalne podstawy rozmytej interpretowanej sieci Petriego oraz na prostym przykładzie pokazano różnice pomiędzy tą siecią, a klasycznymi sieciami Petriego. Omówiono algebraiczną reprezentację rozmytej interpretowanej sieci Petriego oraz zdefiniowano jej graf pokrycia. W ten sposób przygotowano podstawy do przeprowadzenia badań nad własnościmi tych sieci. Dalsze prace będą zmierzały do stworzenia oprogramowania, które będzie weryfikować poprawność diagramu tej sieci, generować graf osiągalności i macierz incydencji oraz umożliwi symulację jej działania.

EN

The Petri nets enable not only designing of algorithms in which parallel processes are appearing, but also formal analysis of their properties. It is playing a significant role at the permanently increasing complexity of algorithms and the growth of the requirements concerning their functionality. In this paper the algebraic representation and the coverability graph of the fuzzy interpreted Petri net are defined. It can be used for the verification of the correctness of the discussed net. Moreover formal bases of the fuzzy interpreted Petri net are described. The differences between this net and classical nets are shown at the simple example.

Słowa kluczowe

PL

sieci Petriego; częstość występowania matrycy; wykres

EN

Petri nets; incidence matrix; coverability graph

• Wydawca: Komisja Informatyki Polskiej Akademii Nauk, Oddział w Gdańsku
• Czasopismo: Metody Informatyki Stosowanej
• Rocznik: 2010
• Tom: nr 3 (23)
• Strony: 87--96
• Opis fizyczny: Bibliogr. 10 poz., rys.

Twórcy

autor

Gniewek L.

• Politechnika Rzeszowska, Wydział Elektrotechniki i Informatyki

Bibliografia

• [1] David R., Alla H. Discrete, Continuous, and Hybrid Petri Nets. Springer-Verlag Berlin Heidelberg, 2005
• [2] Gniewek L., Kluska J. Hardware implementation of fuzzy Petri net as a controller. IEEE Transactions on Systems, Man, and Cybernetics - Part B: Cybernetics, Vol. 34, No 3/2005, s. 1315-1324
• [3] Kluska J., Gniewek L. Fuzzy Petri nets as control systems. Pomiary Automatyka Kontrola, Nr 1/ 2005, s. 7-10
• [4] Chen S. M., Ke J. S., Chang J. F. Knowledge Representation Using Fuzzy Petri Nets. IEEE Trans. on Knowledge and Data Engineering, Vol. 2, No 3/1990, s. 311-319
• [5] Villani E., Miyagi P. E., Valette R. Modelling and Analysis of Hybrid Supervisory Systems. Springer-Verlag London, 2007
• [6] Gniewek L. Modelowanie układu sterowania i diagnostyki za pomocą rozmytej interpretowanej sieci Petriego. Systemy wykrywające, analizujące i tolerujące usterki, Kowalczyk Z. (red.). PWNT, Gdańsk, 2009, s. 105-112
• [7] Gniewek L. Rozmyta interpretowana sieć Petriego jako układ sterowania. Pomiary Automatyka Kontrola, Vol. 55, Nr 7/2009, s. 494-497
• [8] Gniewek L. Implementacja rozmytej interpretowanej sieci Petriego w sterowniku PLC. Metody wytwarzania i zastosowania systemów czasu rzeczywistego. Trybus L., Samolej S. (red.). WKiŁ, Warszawa, 2010, s. 71-80
• [9] Girault C., Valk R. Petri Nets for Systems Engineering. A Guide to Modeling, Verification,and Applications. Springer-Verlag Berlin Heidelberg, 2003
• [10] Szpyrka M. Sieci Petriego w modelowaniu i analizie systemów współbieżnych. WNT, Warszawa, 2008