Temat: czasowe sieci Petriego - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: Modelling and control of flexible manufacturing systems by means of interpreted Petri nets
Autorzy:: Čapkovič, František
Powiązania:: https://bibliotekanauki.pl/articles/950929.pdf
Data publikacji:: 2018
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: control
discrete event systems
flexible manufacturing systems
interpreted Petri nets
modelling
performance evaluation
place/transition Petri nets
timed Petri nets
kontrola
dyskretne systemy zdarzeń
elastyczne systemy produkcyjne
interpretowane sieci Petriego
modelowanie
ocena wydajności
miejsce/przejście sieci Petriego
czasowe sieci Petriego
Opis:: Because flexible manufacturing systems (FMS) are discrete event systems (DES), their modelling and control by means of Petri nets (PN) is widely used. While PN transitions are observable and controllable and PN places are measurable, place/transition PN (P/T PN) are suffcient for this aim. However, when some PN transitions are unobservable and/or uncontrollable and some places are non-measurable/unobservable, P/T PN are insufficient for modelling and especially for control. In such a case interpreted Petri nets (IPN) seem to be an appropriate replacement for P/T PN. In this paper a possibility of usage of IPN for FMS modelling and control is pointed out. Illustrative examples as well as the case study on a robotized assembly cell are introduced. By means of using timed PN (TPN) also the performance evaluation of the IPN model of controlled plant is accomplished whereby the simulation in Matlab.
Źródło:: Journal of Automation Mobile Robotics and Intelligent Systems; 2018, 12, 4; 3-10
1897-8649
2080-2145
Pojawia się w:: Journal of Automation Mobile Robotics and Intelligent Systems
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 2.

Tytuł:: Some aspects of modeling and analysis of complex biological systems using time Petri nets
Autorzy:: Olszak, J.
Radom, M.
Formanowicz, P.
Powiązania:: https://bibliotekanauki.pl/articles/199770.pdf
Data publikacji:: 2018
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: time Petri nets
t-invariants
biological system
system biologiczny
czasowe sieci Petriego
inwariant
Opis:: Models of complex biological systems can be built using different types of Petri nets. Qualitative nets, for example, can be successfully used to obtain a model of such a system and on its basis a structure-based analysis can be performed. Time is an important factor influencing a whole biological system behaviour and in many cases it should be considered during building a model of such a system. In this paper various types of time Petri nets have been described and methods for studying corresponding models have been discussed. In particular, an algorithm using time parameters to enhance t-invariants based analysis is proposed. This algorithm allows for calculation of the minimal and maximal numbers of tokens (respectively, for an optimistic and pessimistic case) in particular places necessary to assure that all transitions from a given t-invariant support will be able to fire. Additionally, to address the problem of the proper assignment of time values to transitions, the known methods for calculation and evaluation of such time parameters based on the net structure have also been discussed.
Źródło:: Bulletin of the Polish Academy of Sciences. Technical Sciences; 2018, 66, 1; 67-78
0239-7528
Pojawia się w:: Bulletin of the Polish Academy of Sciences. Technical Sciences
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Informacja

Wyszukujesz frazę "czasowe sieci Petriego" wg kryterium: Temat

Źródło danych

Dostawca treści

Kolekcja

Rok wydania

Wydawca

Temat

Autor

Typ dokumentu

Język