PL
 |
EN
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 5

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  czasowe sieci Petriego
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available Modelling and control of flexible manufacturing systems by means of interpreted Petri nets
Čapkovič František
Journal of Automation Mobile Robotics and Intelligent Systems
|
2018
|
Vol. 12, No. 4
3--10
EN
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.
2
Content available Some aspects of modeling and analysis of complex biological systems using time Petri nets
Olszak J., Radom M., Formanowicz P.
Bulletin of the Polish Academy of Sciences. Technical Sciences
|
2018
|
Vol. 66, nr 1
67--78
EN
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.
3
Content available Petri nets of the materials flow at the steel plant
Łebkowski P.
Automatyka / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
|
2007
|
T. 11, z. 1-2
179-189
EN
A Petri deterministic time net applied to the modelling of the material flow at the steel plant is a very effective research tool. This paper presents a Petri net expanded with the attribute vectors of places and transitions, as well as the logical rules of transition launching and the procedures that update the attribute values. Owing to such an expansion, we can observe the properties of the streams that flow through the system, e.g. the costs and the project completion time, simulate the effects of the changes introduced into the system and analyse the results of unexpected disturbances and the breaks in the supply chain.
PL
Deterministyczna czasowa sieć Petriego zastosowana do modelowania przepływu materiałów na wydziale stalowni jest bardzo efektywnym narzędziem badawczym. W artykule przedstawiono rozszerzenie sieci Petriego o wektory atrybutów miejsc i tranzycji, o logiczne reguły odpaleń tranzycji i procedury uaktualniające wartości tych atrybutów. Dzięki temu rozszerzeniu można obserwować właściwości przepływających przez system strumieni, m.in. koszt i czas realizacji całego przedsięwzięcia, symulować efekty wprowadzanych do systemu zmian, analizować efekty niespodziewanych zakłóceń i przerwań zachodzących w przepływie materiałów.
4
Content available remote A simulation model of transport node control system
Ochmańska E., Wawrzyński W.
Archives of Transport
|
2002
|
Vol. 14, iss.4
71-84
EN
The main purpose of a discrete event simulation model of transport node contral system, presented in the paper, consists in investigating behavior of such a system during occurrences of failures leading to step by step degradation of its functions. The model is formulated using extended Petri nets. The extensions, introduced to the net description language, concern principles of representing tirning, decisive and informative aspects of modeled processes. The model structure is oriented on tasks performed by control system, and is focused on the mechanism of system reconfiguration, leading to safe performance of tasks in the state of incomplete system suitability. The proposed approach, basing on general view of control system as reconfigurable ensemble of technical devices perforrning given set of tasks, can be used for investigation of reliability characteristics of various control systems in the domain of transport.
PL
W pracy przedstawiono symulacyjny model systemu sterowania pracą obiektu transportowego, przeznaczony do badania zachowań takiego systemu w sytuacji występowania uszkodzeń, prowadzących do stopniowej degradacji jego funkcji. Model został sformułowany z wykorzystaniem rozszerzonych sieci Petriego. Rozszerzenia wprowadzone do sieciowego języka opisu modelu dotyczą zasad symulacji czasowych, decyzyjnych oraz informacyjnych :'aspektów modelowanych procesów. Struktura prezentowanego modelu, zorientowana na zadania realizowane przez system sterujący, odwzorowuje procesy rekonfiguracji systemu, które zapewniają bezpieczną realizację zadań w stanie częściowej niezdatności systemu sterującego. Zaproponowane w artykule podejście, oparte na ogólnej definicji systemu sterującego jako rekonfigurowanego zespołu technicznych środków realizacji określonego zbioru zadań, może być wykorzystane do badania cech niezawodnościowych różnego rodzaju systemów sterowania.
5
Content available remote Modelowanie wspomagane przez czasowe sieci Petriego
Szymczyk P.
Automatyka / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
|
1999
|
T. 3, z. 1
329-335
PL
W pracy przedstawiono czasowe rozszerzenia sieci Petriego oraz możliwości ich zastosowania do modelowania różnego rodzaju systemów. Zostało zamieszczone również ich porównanie oraz metody weryfikacji niektórych własności czasowych sieci Petriego.
EN
This paper presents several different time extension of classic Petri Net with comparision. There are described method of checking properties of Timed Petri Net.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.