Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "sieci Petriego" wg kryterium: Temat

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 65
Tytuł:
Modelowanie procesów biznesowych z wykorzystaniem sieci Petriego i BPMN. Próba oceny metod
Autorzy:
Chomiak-Orsa, Iwona
Kołtonowska, Alicja
Powiązania:
https://bibliotekanauki.pl/articles/432219.pdf
Data publikacji:
2018
Wydawca:
Wydawnictwo Uniwersytetu Ekonomicznego we Wrocławiu
Tematy:
analiza biznesowa
model biznesowy
sieci Petriego
BPMN
Opis:
Celem artykułu jest porównanie wybranych metod modelowania procesów biznesowych. W pierwszej części artykułu wyjaśniono podstawowe pojęcia związane z badanym problemem, takie jak analiza biznesowa, model procesu biznesowego, oraz scharakteryzowano badane metody. W drugiej części dokonano analizy porównawczej przez pryzmat czterech kryteriów oceny. Artykuł stanowi jeden z etapów prac badawczych, jakie zostały podjęte w celu stworzenia hybrydowej metody modelowania procesów biznesowych, której zadaniem jest ich wspomaganie
Źródło:
Informatyka Ekonomiczna; 2018, 2(48); 9-18
1507-3858
Pojawia się w:
Informatyka Ekonomiczna
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Analiza wpływu konkurencyjnych warstw Petriego na działanie regulatora rozmytego typu Mamdaniego
Analysis of competitive petri layers impact on fuzzy Mamdani type regulator performance
Autorzy:
Derugo, P.
Powiązania:
https://bibliotekanauki.pl/articles/1813982.pdf
Data publikacji:
2013
Wydawca:
Politechnika Wrocławska. Oficyna Wydawnicza Politechniki Wrocławskiej
Tematy:
regulator neuronowo-rozmyty
warstwy Petriego
sieci Petriego
sterowanie napędem elektrycznym
Opis:
The article analyzes the possibility of using competitive Petri layers in neuro-fuzzy controller for improvement of control quality. Principle of operation, and the possible implementation of a competitive Petri layer in controller are presented. A series of simulations and experiments are conducted in order to show improvement. As a research plant separately excited DC motor in a cascade control structure was used. Analyzed controller is used in the outer speed control loop.
Źródło:
Prace Naukowe Instytutu Maszyn, Napędów i Pomiarów Elektrycznych Politechniki Wrocławskiej. Studia i Materiały; 2013, 69, 33; 97--110
1733-0718
Pojawia się w:
Prace Naukowe Instytutu Maszyn, Napędów i Pomiarów Elektrycznych Politechniki Wrocławskiej. Studia i Materiały
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Środowisko do szybkiego prototypowania systemów do diagnostyki w czasie rzeczywistym
Rapid prototyping enivironment for diagnosis real time systems
Autorzy:
Rubin, G.
Omieljanowicz, M.
Powiązania:
https://bibliotekanauki.pl/articles/327198.pdf
Data publikacji:
2006
Wydawca:
Polska Akademia Nauk. Polskie Towarzystwo Diagnostyki Technicznej PAN
Tematy:
szybkie prototypowanie
sieci Petriego
FPGA
rapid prototyping
Petri nets
Opis:
Idea szybkiego prototypowania (ang. rapid prototyping) oznacza takie prowadzenie prac projektowych i wdrożeniowych aby maksymalnie ograniczyć czas i koszty związane z wprowadzeniem nowych koncepcji i produktów zaawansowanych technologii na rynek. Prototypowanie to, ujmując lapidarnie szybkie stworzenie prototypu urządzenia, czy też programu, umożliwiającego dokonanie oceny jego funkcjonalności, przydatności i akceptowalności przez końcowego odbiorcę. Realizacja takiego podejścia w ogólnym przypadku jest bardzo trudna. Tworzone są więc systemy prototypowania dla wybranych dziedzin i gałęzi przemysłu. W przedstawionej pracy opisana została koncepcja postępowania i propozycja zestawu narzędzi szybkiego prototypowania z dziedziny cyfrowego przetwarzania sygnałów akustycznych i wibroakustycznych. Pokazano też wykorzystanie jej do stworzenia modelu i prototypu uniwersalnej architektury do prowadzenia złożonych obliczeń (w tym zaawansowanych pomiarów) w czasie rzeczywistym.
Rapid prototyping aims to reducing development cost via prototyping. Prototypes are built to assess whether proposed system will be acceptable to its user and whether a proposed design will provide adequate functionality and performance. A prototype is constructed prior to the system's production version to gain information that guides analysis and design. In this article is proposed RPPE (Rapid Prototyping Project Environment) for real-time embedded systems. This environment is based on modeling using new modification of Petri nets called hardware Petri nets. Implementation is made using special hardware architecture called dynamic reconfigurable internal architecture. The main advantage of proposed RPPE is that there is no need to change hardware, even if all used algorithms must be changed. There is a possibility to make all design process to be almost fully automated from modeling to working prototype.
Źródło:
Diagnostyka; 2006, 3(39); 13-18
1641-6414
2449-5220
Pojawia się w:
Diagnostyka
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modelowanie i symulacja pracy złożonych systemów technicznych
Modelling and Simulation of the Complex Technological Systems Operation
Autorzy:
KĘSY, Marek
Powiązania:
https://bibliotekanauki.pl/articles/457444.pdf
Data publikacji:
2015
Wydawca:
Uniwersytet Rzeszowski
Tematy:
model
modelowanie
symulacja
sieci Petriego
modelling
simulation
Petri nets
Opis:
Przedstawiono podstawowe informacje z zakresu modelowania systemów technicznych. Zaprezentowano możliwość modelowania złożonego systemu technicznego za pomocą modelu matematycznego – sieci Petriego, analizując ich praktyczną i dydaktyczną użyteczność.
In the paper basic information regarding modelling of the technical systems has been presented. Modelling of the complex technical system was performed by Petri nets theory. Their professional and didactical useability has been analyzed.
Źródło:
Edukacja-Technika-Informatyka; 2015, 6, 3; 225-231
2080-9069
Pojawia się w:
Edukacja-Technika-Informatyka
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Analiza cyklicznych sieci Petriego przy pomocy dekompozycji blokowej
Analysis of Cyclic Petri Nets by Means of Block Decomposition
Autorzy:
Karatkiewicz, A.
Powiązania:
https://bibliotekanauki.pl/articles/152902.pdf
Data publikacji:
2007
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
sieci Petriego
dekompozycja
eksploracja stanów
Petri nets
decomposition
state exploration
Opis:
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.
Źródło:
Pomiary Automatyka Kontrola; 2007, R. 53, nr 5, 5; 69-71
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Sprzętowo-programowa realizacja rozmytej interpretowanej sieci Petriego
Hardware-software realization of Fuzzy Interpreted Petri Net
Autorzy:
Gniewek, L.
Hajduk, Z.
Powiązania:
https://bibliotekanauki.pl/articles/155848.pdf
Data publikacji:
2012
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
modelowanie
sieci Petriego
układy FPGA
modelling
fuzzy Petri nets
FPGA
Opis:
W artykule przedstawiono algorytm sterowania mieszalnikiem, który przygotowano w formie rozmytej interpretowanej sieci Petriego. Algorytm ten zaimplementowano w specjalizowanym sterowniku programowalnym, zbudowanym w oparciu o struktury programowalne FPGA, co znacznie skróciło czas wykonywania kodu. Sterownik programowany jest zgodnie z normą IEC 61131-3 dzięki środowisku inżynierskiemu CPDev. Zaprezentowano ogólny sposób realizacji rozmytej interpretowanej sieci Petriego w języku tekstowym ST, co pozwala uzyskać przenośność programów pomiędzy sterownikami PLC różnych producentów.
Fuzzy Interpreted Petri Net is a synchronized, low-level net, which can be used for formal description of control algorithms. Formal bases of the net and a transformation method to the logic circuit were presented in [1]. Software realization of the net, using Siemens Step 7 language, was described in [2]. Some practical application of the net for controls and diagnostics can be found in [3]. In this article, general realization method of Fuzzy Interpreted Petri Net in ST language was proposed. The method directly uses the transition firing and dynamic equations of the net. As a hardware, specific programmable controller, based on FPGA struc-tures, was applied. Description of main CPU unit of the controller is shortly presented in this article. More detail of the controller can be found in [6], [7, 10]. Prototype of the controller was shown in [12] as well. FPGA programmable controller is programmed using CPDev control software [4]. Example of Fuzzy Interpreted Petri Net for control of the mixer plant is also included in this article. The net consists of 18 places p', 5 places p" and 17 transitions. Total computation time of the control algorithm, implemented in FPGA programmable controller, is very short and equal to 86žs. Such a time is almost unreachable to the typical, industrial PLCs. Another advantage of proposed realization method of Fuzzy Interpreted Petri Net is a portability of the code between PLCs of different producers, which is impossible to obtain using PLC programming languages, such as LD or FBD.
Źródło:
Pomiary Automatyka Kontrola; 2012, R. 58, nr 12, 12; 1113-11116
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Bezczujnikowa struktura sterowania silnikiem indukcyjnym z adaptacyjnym regulatorem rozmytym z dodatkową warstwą Petriego
Sensorless induction motor drive system with adaptive controller and Petri layers
Autorzy:
Dybkowski, M.
Derugo, P.
Powiązania:
https://bibliotekanauki.pl/articles/1817920.pdf
Data publikacji:
2015
Wydawca:
Politechnika Wrocławska. Oficyna Wydawnicza Politechniki Wrocławskiej
Tematy:
sterowanie wektorowe
napęd bezczujnikowy
silnik indukcyjny
regulator adaptacyjny
sieci Petriego
Opis:
In the paper the adaptive control structure with induction motor drive system with MRAS type flux and speed estimator is tested and developed. System with the Petri layers was implemented and checked during different drive operations. Proposed algorithm was applied in the Direct Field Oriented Control Structure and Direct Torque Control of Induction Motor and tested in laboratory set-up with DS1202 dSpace Micro Lab Box card. Control structure was tested and checked during different drive operation.
Źródło:
Prace Naukowe Instytutu Maszyn, Napędów i Pomiarów Elektrycznych Politechniki Wrocławskiej. Studia i Materiały; 2015, 71, 35; 65--73
1733-0718
Pojawia się w:
Prace Naukowe Instytutu Maszyn, Napędów i Pomiarów Elektrycznych Politechniki Wrocławskiej. Studia i Materiały
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Czasowy model bloku przetwarzania danych w systemie pomiarowym
Time Model of Data Processing Block in Measurement System
Autorzy:
Bilski, P.
Łukaszewski, Ł.
Powiązania:
https://bibliotekanauki.pl/articles/151363.pdf
Data publikacji:
2007
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
systemy pomiarowe
sieci Petriego
model czasowy
modelling
Petri Nets
measurement systems
Opis:
Artykuł dotyczy modelowania komputerowych systemów pomiarowo-sterujących (KSPS) uwzględniającej czasowe aspekty przepływu informacji w KSPS. W artykule zamieszczono opis części większych prac dotyczących nowej metody opisu modelu KSPS z wykorzystaniem sieci Petri`ego i narzędzia CPN Tools. Szczegółowo przedstawiono model bloku przetwarzania KSPS. Opisano dokładnie funkcje opóźnień zaimplementowane w modelu oraz metodą ich wyznaczania. Dodatkowo zamieszczono badania opóźnień bloku przetwarzania rzeczywistego KSPS oraz symulacje weryfikujące zaprojektowany model.
The paper presents the method of the distributed measuring and control systems modelling, regarding the time aspects of the information flow inside the system. Results of the work including a new method of the measuring system model description using the Petri nets and CPN Tools are included. The data processing model inside the measuring system was presented in detail with delay functions implemented in the model. The paper is concluded with experimental results, comparing simulations with real measuring system behavior.
Źródło:
Pomiary Automatyka Kontrola; 2007, R. 53, nr 9 bis, 9 bis; 253-256
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
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ł
Tytuł:
The problem of coalition formation modelling
Problem modelowania powstawania koalicji
Autorzy:
Mashkov, V.
Smolarz, A.
Lytvynenko, V.
Powiązania:
https://bibliotekanauki.pl/articles/408394.pdf
Data publikacji:
2014
Wydawca:
Politechnika Lubelska. Wydawnictwo Politechniki Lubelskiej
Tematy:
sieci Petriego
modelowanie
proces powstawania koalicji
Petri nets
coalition formation modelling
Opis:
The paper deals with the problem of modelling of coalition formation. Petri Nets were suggested as they offer a simple way to graphically represent the coalition formation procedure, they allow to easily make changes in modelling procedure and there are many high-quality modelling tools. The authors do not provide complete modelling procedure, but only show that Petri Nets is a very effective tool for determining and parameter estimation of possible coalitions. An example is considered as well as conclusions about application of Petri Nets for modelling of coalition formation.
Artykuł dotyczy problemu modelowania procesu powstawania koalicji. Jako rozwiązanie zaproponowano sieci Petriego, ponieważ zapewniają prosty sposób graficznej reprezentacji procedury tworzenia koalicji, pozwalają na łatwe wprowadzanie zmian w procedurze modelowania i wiele wysokiej jakości narzędzi do modelowania. Autorzy nie opisują pełnej procedury modelowania, lecz wykazują, że sieci Petriego są bardzo skutecznym narzędziem do określania i szacowania parametrów możliwych koalicji. Przedstawiono przykład, oraz wnioski dotyczące stosowania sieci Petriego do modelowania powstawania koalicji.
Źródło:
Informatyka, Automatyka, Pomiary w Gospodarce i Ochronie Środowiska; 2014, 4; 38-40
2083-0157
2391-6761
Pojawia się w:
Informatyka, Automatyka, Pomiary w Gospodarce i Ochronie Środowiska
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Graph grammar based Petri net controlled direct solver algorithm
Algorytm solvera dokładnego sterowany siecią Petriego wykorzystujący gramatyki grafowe
Autorzy:
Szymczak, A.
Paszyński, M.
Pardo, D.
Powiązania:
https://bibliotekanauki.pl/articles/305611.pdf
Data publikacji:
2010
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
sieci Petriego
gramatyki grafowe
solvery dokładne
Petri nets
graph grammar
direct solver
Opis:
In this paper we present the Petri net setting the optimal order of elimination for direct solver working with hp refined finite finite element meshes. The computational mesh is represented by a graph, with graph vertices corresponding to finite element nodes. The direct solver algorithm is expressed as a sequence of graph grammar productions, attributing the graph vertices. The Petri net dictates the order of graph grammar productions, representing the execution of the solver algorithm over a graph representation of computational mesh. The presentation is concluded with numerical experiments performed for a model L-shape domain.
W artykule przedstawiona została sieć Petriego sterująca kolejnością wykonania produkcji gramatyki grafowej reprezentującej wykonanie algorytmu solvera dokładnego na h adaptowanej siatce metody elementów skończonych. Siatka obliczeniowa przedstawiona została w postaci grafu, którego wierzchołki odpowiadają węzłom elementów skończonych. Algorytm solvera dokładnego wyrażony jest w postaci sekwencji produkcji gramatyki grafowej, atrybutujących wierzchołki grafu. Sieć Petriego określa kolejność wykonania produkcji gramatyki grafowej, reprezentujących wykonanie algorytmu solvera na grafowej reprezentacji siatki obliczeniowej. Artykuł podsumowuje eksperyment numeryczny dotyczący wykonania algorytmu solvera na problemie modelowym w kształcie litery L.
Źródło:
Computer Science; 2010, 11; 65-79
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The functionally-oriented method for specialized EI-systems design application
Funkcjonalnie zorientowana metoda projektowania aplikacji specjalistycznych systemów edukacyjnych i inteligentnych
Autorzy:
Mykhailiuk, A.
Pukach, A.
Powiązania:
https://bibliotekanauki.pl/articles/408608.pdf
Data publikacji:
2014
Wydawca:
Politechnika Lubelska. Wydawnictwo Politechniki Lubelskiej
Tematy:
method
model
Petri nets
design
EI system
sposób
sieci Petriego
projektowanie
EI-systemy
Opis:
The algorithm and the model of the functionally-oriented method for specialized educational and intellectual systems (EI systems) automated design, based on Petri nets, are developed in the article. The example of the developed algorithm application for the real EI-system design is also given. The developed model based on Petri nets helps to identify the major states of the system synthesis process.
W artykule rozpatrzono algorytm i model funkcjonalnie zorientowanej metody projektowania automatycznego specjalizowanych systemów edukacyjnych i inteligentnych (systemów EI) opartych na sieciach Petri. Przedstawiono również przykład tworzenia algorytmu aplikacji dla rzeczywistego projektowania systemu EI. Opracowano model oparty na sieci Petriego wspomagającej identyfikację głównych stanów systemu syntezy procesów
Źródło:
Informatyka, Automatyka, Pomiary w Gospodarce i Ochronie Środowiska; 2014, 2; 57-61
2083-0157
2391-6761
Pojawia się w:
Informatyka, Automatyka, Pomiary w Gospodarce i Ochronie Środowiska
Dostawca treści:
Biblioteka Nauki
Artykuł
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ł
Tytuł:
Transformacja diagramów aktywności UML 2.0 do sieci Petriego w systemach sterowania binarnego
Transformation of UML 2.0 activity diagrams into Petri nets in binary control systems
Autorzy:
Grobelny, M.
Powiązania:
https://bibliotekanauki.pl/articles/154189.pdf
Data publikacji:
2009
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
diagramy aktywności UML 2.0
sieci Petriego
UML 2.0 activity diagrams
Petri nets
Opis:
Artykuł zawiera omówienie oraz porównanie dwóch formalnych metod specyfikacji behawioralnej systemów osadzonych - diagramów aktywności języka UML 2.0 oraz sieci Petriego. Przedstawione są podobieństwa oraz różnice pomiędzy nimi. Poruszone jest zagadnienie transformacji pomiędzy dwoma wymienionymi technikami specyfikacji wraz z obrazującym ten proces przykładem. Uwzględniono także problem nadmiarowości sieci Petriego po bezpośredniej transformacji i wynikającą z tego konieczność redukcji miejsc i tranzycji przy zachowaniu jednoznaczności obu diagramów. Artykuł podzielony jest następująco. Rozdział 2 zawiera wprowa-dzenie do diagramów aktywności w UML 2.0. Rozdział 3 przedstawia sieci Petriego. Rozdział 4 porównuje obie metody specyfikacji - diagramy aktywności oraz sieci Petriego. Rozdział 5 porusza zagadnienie transformacji pomiędzy dwoma omawianymi technikami. Rozdział 6 zawiera podsumowanie wcześniejszych rozdziałów oraz wnioski.
The paper presents and compares two formal behavioural specification methods of embedded systems [1] - activity diagrams of UML specification language [2, 3, 4, 13, 14] and Petri nets [9, 15]. Similarities and differences as well as the aspect of transformation between both specification techniques are concerned. The transformation is explained on the example of a sample control process shown in Fig. 1. Fig. 2 presents the specification using UML activity diagram. The problem of redundant places and transitions after direct transformation from the activity diagram into the Petri net is dealt with. The Petri net after transformation is shown in Fig. 3 (a), while the reduced diagram - in Fig. 3 (b). The paper is divided into sections. Section 1 contains introduction to the topic of embedded system specification techniques. Section 2 presents UML 2.0 activity diagrams with their basic elements. Petri nets and their syntactic are described in Section 3. Section 4 focuses on comparison of both techniques by means of embedded control systems (see [12] for more details). The transformation problem is considered in Section 5. Section 6 summarises and concludes the paper.
Źródło:
Pomiary Automatyka Kontrola; 2009, R. 55, nr 7, 7; 498-500
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Rozmyta interpretowana sieć Petriego jako układ sterowania
Fuzzy interpreted Petri net as a control system
Autorzy:
Gniewek, L.
Powiązania:
https://bibliotekanauki.pl/articles/154325.pdf
Data publikacji:
2009
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
logika rozmyta
modelowanie
sieci Petriego
układy sterowania
fuzzy logic
modelling
Petri nets
control systems
Opis:
W pracy przedstawiono nową koncepcję rozmytej interpretowanej sieci Petriego. Podano podstawowe definicje opisujące jej budowę i działanie. Zaprezentowano graficzną i algebraiczną reprezentację sieci. Zamieszczono przykład obrazujący wykorzystanie rozmytej interpretowanej sieci Petriego do monitorowania i sterowania stacji przeładunkowej materiału sypkiego. Zaproponowana sieć jako układ sterowania umożliwia uwzględnienie zarówno sygnałów analogowych, jak i binarnych oraz pozwala na ilościowe modelowanie zasobów.
The paper presents a new concept of the fuzzy interpreted Petri net which is an extension of the net suggested in [3, 4]. It combines the advantages of the interpreted Petri nets applied to programming logic controllers (Grafcet, SFC) and the fuzzy Petri nets whose functioning based on multivalued logic allows using analog signals. There are also given the fundamental definitions describing construction and functioning of the fuzzy interpreted Petri net. Two types of places have been introduced. The places which can store only one fuzzy token are associated with control signals. The places which can store a larger number of tokens are meant for monitoring resource and their application. The weights attributed to arcs allow moving the groups of tokens. This allows monitoring the position of not only single elements but also multielement portions of material. The paper defines the algebraic representation of the net which can be used in the analysis of its some properties. There is also shown an example presenting the application of the fuzzy interpreted Petri net to monitoring and control of loading a loose material at a loading station. On the basis of this example, the algebraic and graphic representation of the net has been worked out. This way the possibility of using the fuzzy interpreted Petri net as a control system for both analog and binary signals has been shown.
Źródło:
Pomiary Automatyka Kontrola; 2009, R. 55, nr 7, 7; 494-497
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 65

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies