Informacja

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

Wyszukujesz frazę "Petri Nets" wg kryterium: Temat


Tytuł:
Fuzzy Petri nets as control systems
Rozmyte sieci Petriego jako układ sterowania
Autorzy:
Kluska, J.
Gniewek, L.
Powiązania:
https://bibliotekanauki.pl/articles/156261.pdf
Data publikacji:
2005
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
sieci Petriego
układy sterowania
przetwarzanie sygnałów analogowych
fuzzy Petri nets
Petri nets
control systems
Opis:
Industrial processes can often be modelled using Petri nets. If all the process variabless are assumed to be two-valued signals, then it is possible to obtain a control device, which works according to the algorithm described by conventional Petri net. However, the values of real signals are contained in some bounded interval, and therefore they can be interpreted as events, which are true in some degree from the interval [0,1]. Such a natural interpretation concerns sensor outputs, control signals, time expiration, etc. It leads to the idea of the fuzzy Petri net as a controller, which is able to process both analog, and binary signals. Such the net is presented in this paper.
Procesy przemysłowe często mogą być zamodelowane za pomocą sieci Petriego. Jeżeli zmienne procesowe są traktowane jako dwuwartościowe, to można otrzymać urządzenie sterujace, które działa według algorytmu opisanego przez konwencjonalną sieć Petriego. Jednak wartości sygnałów rzeczywistych zawarte są w pewnym skończonym przedziale, więc mogą być zinterpretowane jako zdarzenia prawdziwe w pewnym stopniu z przedziału [0,1]. Taka naturalna interpretacja dotyczy wyjść czujników, sygnałów sterujących, upływu czasu itd. Prowadzi to do idei rozmytych sieci Petriego jako układów sterowania, przetwarzających zarówno sygnały analogowe, jak i binarne. Takie sieci są przedstawione w niniejszym artykule.
Źródło:
Pomiary Automatyka Kontrola; 2005, R. 51, nr 1, 1; 7-10
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
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ł:
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ł:
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ł:
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ł
Tytuł:
Diagramy aktywności języka UML i sieci Petriego w systemach sterowania binarnego - od transformacji do weryfikacji
UML activity diagrams and Petri nets in binary control systems - from transformation to verification
Autorzy:
Grobelny, M.
Grobelna, I.
Powiązania:
https://bibliotekanauki.pl/articles/158260.pdf
Data publikacji:
2010
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
diagramy aktywności UML
sieci Petriego
weryfikacja modelowa
UML activity diagrams
Petri nets
model checking
Opis:
Język UML jest technologią powszechnie stosowaną w świecie naukowym oraz w przemyśle. Sieci Petriego są modelem matematycznym ogólnego zastosowania ugruntowanym od wielu lat. Obie te techniki doskonale nadają się do specyfikacji procesów sterowania. Jednakże jako odmienne, każda z nich posiada unikatowe właściwości. Technika weryfikacji modelowej jest jedną z metod formalnej weryfikacji specyfikacji pozwalającą na zdiagnozowanie błędów w specyfikacji wymagań albo w opisie modelu. Artykuł przedstawia metodę transformacji pomiędzy obiema wymienionymi technikami specyfikacji w celu formalnej weryfikacji projektu sterowania opisanego w języku UML.
Unified Modeling Language (UML) [1-3, 5, 6-8] is commonly used in scientific and industrial world. Petri nets [9] are mathematical model used for a long period of time. Both techniques are well suited for control processes specification. However, they are quite different. Each technique has its own unique properties. Model checking technique [14-17] is one of formal verification methods [18] for specifications. It allows detecting errors either in requirements specification or in model description. The paper presents the method for transformation between both mentioned specification techniques - from UML activity diagram (Fig. 1) to Petri net (Fig. 4), using some defined rules [10, 11]. Mapping of particular elements is presented in Table 1. Petri net after direct transformation may include redundant places which can be after-wards removed. Then, it is possible to formally verify control process described in UML. The proposed model checker tool is NuSMV [20]. NuSMV (Fig. 5) compares model description (Fig. 6 - 8) and requirements (Fig. 9) which have to be fulfilled. The requirements are defined using temporal logic. If a specified requirement may not be fulfilled, appropriate counterexamples are generated (Fig. 10) which allow detecting an error source. Then, the specification can be corrected and model checking process can start again, sometimes including only the particular part of a designed system.
Źródło:
Pomiary Automatyka Kontrola; 2010, R. 56, nr 10, 10; 1154-1158
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Petri net models of discrete event systems and state sequence generation for closed loop plant-controller system
Modele systemów zdarzeń dyskretnych skonstruowane w oparciu o sieci petriego i generacja sekwencji stanów zamkniętego systemu obiekt-sterownik
Autorzy:
Zech, W.
Puchałka, T.
Powiązania:
https://bibliotekanauki.pl/articles/389830.pdf
Data publikacji:
2011
Wydawca:
Politechnika Bydgoska im. Jana i Jędrzeja Śniadeckich. Wydawnictwo PB
Tematy:
system zdarzeń dyskretnych
sieci Petriego
programowalne sterowniki sekwencyjne
diagramy drabinkowe
DES
Petri nets
PLC
ladder diagram
Opis:
In this paper there has been provided a ladder diagram formal model as LD-P/T-system. Closed loop system which consists of the LD-controller model and the controlled object model is constructed. We propose an algorithm to construct a state-transition diagram of the system. A fault is detected when an unpredicted state is generated. Additional benefits from such an approach results in the fact that an abstraction of the transition diagram of this controller is possible, which can be used for LD-VHDL transformation into FPGA implementation.
W artykule przedstawiono formalny model diagramu drabinkowego (LD) jako LD-P/T-system. Skonstruowano model zamkniętej pętli sprzężenia między sterownikiem (LD) i sterowanym obiektem. Przedstawiono algorytm generacji diagramu przejść między stanami takiego systemu. Możliwa jest detekcja uszkodzenia, gdy wygenerowany zostanie nieprzewidziany stan. Dodatkowa korzyść z takiego podejścia wynika z faktu, że możliwa jest konstrukcje diagramu przejść samego sterownika, co może być wykorzystane do transformacji diagramów drabinkowych na model dający się opisać w języku VHDL i implementować w FPGA.
Źródło:
Zeszyty Naukowe. Telekomunikacja i Elektronika / Uniwersytet Technologiczno-Przyrodniczy w Bydgoszczy; 2011, 15; 19-35
1899-0088
Pojawia się w:
Zeszyty Naukowe. Telekomunikacja i Elektronika / Uniwersytet Technologiczno-Przyrodniczy w Bydgoszczy
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Interpretowane sieci Petriego - model formalny w zintegrowanym projektowaniu mikroprpcesorowych systemów sprzętowo-programowych
Interpreted Petri nets as a formal model in hardware/software codesign
Autorzy:
Adamski, M.
Skowroński, Z.
Powiązania:
https://bibliotekanauki.pl/articles/157576.pdf
Data publikacji:
2003
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
sieci Petriego
programowanie zintegrowane
mikroprocesorowe systemy sprzętowo-programowe
Petri nets
formal model in hardware/sofrware codesign
Opis:
Podejście systemowe do projektowania urządzeń o niejednorodnym charakterze wymaga stosowania formalnych metod specyfikacji, syntezy i analizy. Metody i narzędzia projektowe z kolei bazują na formalnym modelu obliczeniowym. Z tego względu dobór właściwego modelu ma fundamentalne znaczenie dla efektywności całego procesu projektowania. W pracy zaproponowano środowisko projektowe dla potrzeb zintegrowanego projektowania, w którym części sprzętowe systemu specyfikowane sa w języku VHDL, część programowa w języku C, a modelem formalnym są interpretowane sieci Petriego. Prezentowane wyniki prac znajdują również zastosowanie w projektowaniu mikrosystemów cyfrowych, zawierających układy FPGA.
In order to model heterogeneous systems some common representation vehicle is needed. The model should have several features, the most important of wchich are : to be well suited both for software and hardware representation, allow for different manipulations (including partitioning) and be able to cope explicitly with parallelism. Interpreted Petri nets can meet all three requirements. The paper analyses the suitability of the petri nets for a representation of heterogeneous systems and outlines some practical aspects of the application of petri nets in modelling such systems.
Źródło:
Pomiary Automatyka Kontrola; 2003, R. 49, nr 2/3, 2/3; 17-20
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Metodologia modyfikacji sieci obrazujących proces produkcyjny zawierający punkty kontroli jakości
Modification methodology of nets illustrating the production process including quality control points
Autorzy:
Lasota, A.
Powiązania:
https://bibliotekanauki.pl/articles/157408.pdf
Data publikacji:
2011
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
sieci Petriego
s-sieci
alfa-sieci
α-sieci
proces produkcyjny
kontrola jakości
Petri nets
s-nets
alpha-nets
α-nets
production process
quality control
Opis:
Artykuł pokazuje jaki wpływ na poprawność procesu produkcyjnego ma wprowadzenie do jego realizacji punktów kontroli jakości. Weryfikacja oddziaływania tych zmian w procesach realizowanych współbieżnie odbywa przy wykorzystaniu sieci Petriego. Pośrednia kontrola jakości może przyczynić się do powstania błędów w strukturze procesu. W celu zobrazowania sposobu korekcji możliwych błędów behawioralnych sieci w pracy zaproponowano przykładowe rozwiązania poprzez wskazanie metodologii modyfikacji sieci.
Quality control in the production process is one of the key moments and is compulsory, since it determines the quality of the completed product. The paper shows how the quality control accomplishment affects the process correctness. Indirect control of the quality may cause errors in the structure of the process. Convenient way to verify the behavioral correctness of the production process is its modeling by Petri nets. In order to depict the manner of the correction of possible errors in the paper the sample solutions are demonstrated. Studies have shown that Petri nets are a convenient tool for validation of behavioral correctness of the production processes. For carrying on the analysis it was necessary to propose modifications of the nets. The methodology adopts two input sets of data. The first one corresponds to Petri nets with single-token initial marking, called s-nets, while the second is -nets (s-nets belong to the class of extended free-choice nets). In the proposed method it is required to restart execution of the process, in the case of detection of deviations from the quality standards. Such restarting is implemented through the introduction of the additional transitions, which move tokens from the critical places to the initially marked place.
Źródło:
Pomiary Automatyka Kontrola; 2011, R. 57, nr 3, 3; 320-323
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł

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