Warianty tytułu
Języki publikacji
Abstrakty
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.
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.
Czasopismo
Rocznik
Tom
Strony
87-96
Opis fizyczny
Bibliogr. 10 poz., rys.
Twórcy
autor
- 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
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.baztech-article-BPS3-0018-0009