Wyniki wyszukiwania - BazTech

1

Dual synthesis of Petri net based application specific logic controllers with increased safety

Tkacz J., Bukowiec A., Adamski M.

Bulletin of the Polish Academy of Sciences. Technical Sciences

|

2016

|

Vol. 64, nr 3

467--478

EN

In the paper, design flow of the application specific logic controllers with increased safety by means of Petri nets is proposed. The controller architecture is based on duplicated control unit and comparison results from both units. One specification of control algorithm is used by means of Petri net for both units. The hardware duplication is obtained during dual synthesis process. This process uses two different logic synthesis methods to obtain two different hardware configurations for both control units. Additionally, the dual verification is applied to increase reliability of the control algorithm. Such design flow simplifies the process of realization of control systems with increased safety.

2

Transformacja rozmytej interpretowanej sieci Petriego na schemat układu logicznego

Gniewek L.

Pomiary Automatyka Kontrola

|

2010

|

R. 56, nr 11

1368-1371

PL

W pracy przedstawiono teoretyczne podstawy nowego rodzaju rozmytej, interpretowanej sieci Petriego, opisując i uzasadniając zaproponowaną strukturę topologiczną i jej interpretację. Przedstawiono użyteczną w praktyce metodę odwzorowania układowego tej sieci, podając konkretny sposób transformacji jej diagramu na schemat logiczny, zbudowany z rozmytych elementów kombinacyjnych i sekwencyjnych. Schemat ten może być podstawą do generowania kodu programu sterującego dla sterowników przemysłowych PLC.

EN

The fuzzy Petri nets are applied above all as advisory or monitoring systems. The nets take into account both binary and multivalued (analog) signals appearing in the observed system. Only a few works are devoted to using these nets directly for control [3, 4, 5]. The fuzzy interpreted Petriego net defined in this paper belongs to low-level nets, used for modelling systems based on FPGA devices or industrial controllers. The net enables presenting the control algorithm in a graphical (diagram of the net) or algebraic (incidence matrix) form [7], which makes the analysis of its properties already at the stage of the abstract synthesis easier. Moreover, this net allows including quantitative changes occurring in the system, not losing natural interpretation of transferring the marker through the transition. In the paper basic definitions of the fuzzy interpreted Petriego net describing the net construction and functioning are given. The transformation method of this net into a logic circuit based on fuzzy combinational and sequential circuits is proposed. All essential elements for this conversion, i.e. the modified fuzzy SR flip-flop (8), the activation circuit (Fig. 2) and the fuzzy gate based on bounded product (6) are described. The examples of connecting these elements are shown (Figs. 3 - 6) and a manner of their synchronization is described. The logic circuit obtained in this way can be a basis for generating the code of the control program for industrial controllers and lead to partial automation of this process.

3

Real-time-simulation of a Logistic-System including drives and sensors for testing PLC-Software by software

Caninenberg W.

LogForum

|

2008

|

Vol. 4, no. 3

1-8

EN

While installation of warehouse-managing-systems, storage- and transport-systems and their PLC problems and errors are caused by untested software. Repairing the defects causes delay of time and stress with deadlines. Insufficient tests of PLC-Software cause nearly 40% failed systems. More complicated functions in storage- and transport-systems demand a linking of hundreds of drives and sensors. Furthermore PLC-Software is installed after hardware as the last step of installation of a logistic-system. Therefore PLC-Software is getting the responsibility of failure and delaying. Testing PLC-Software before real-operation avoids those defects and problems. The company Swisslog AG, Switzerland asked us to develop a real-time Simulation System called E-Control. E-Control is such a testing system. It shows the whole of an operating Logistic-System on a PC including all drives and sensors. Inspection of the PLC-Software takes place by watching the events and the movement of objects on the monitor of the PC without the construction of the real Logistic- System. The Simulation considered a high degree of details in pictures and movement as well as the capture of the positions of the objects (containers or pallets). On the other hand E-Control produces all signals for the PLC which is connected with Simulation-PC by real network. The signals represent the events of the visual simulation. E-Control replaces the real Logistic-System by means of a virtual system on the PC. The amount of the signals between PLC and PC and their timing correspond with the reality. The software of the connected PLC gets these Signals and reacts corresponding of the PLC-Software. The PLC with its software will be the original system later on installed into the real Logistic-System. This cooperation: the simulated visual events of a Logistic-System and the PLC with software makes possible testing and improving the PLC-Software

PL

W trakcie instalacji oprogramowania systemu zarządzania magazynami i transportem można napotkać problemy ze sterownikami logicznymi oraz błędy spowodowane przez nieprzetestowane oprogramowanie. Usuwanie napotkanych błędów powoduje opóźnienie pracy i niemożność dotrzymania ustalonego wcześniej harmonogramu wdrożenia. Niewystarczająco przetestowane oprogramowanie sterowników może być powodem nawet 40% przypadków niefunkcjonowania systemu. Bardziej zaawansowane funkcje w systemach magazynowych i transportowych opierają się na współpracy i połączeniu setek napędów i sensorów. Oprogramowanie sterowników logicznych jest instalowane po podłączeniu całego sprzętu, jako ostatni etap instalacji systemu logistycznego. Z tego też powodu to właśnie ta część systemu w postaci oprogramowania sterowników jest obarczana często winą za opóźnienia i komplikacje przy wdrożeniu. Proces testowania oprogramowania sterowników przed jego ostatecznym wdrożeniem pozwala uniknąć tych problemów. Firma Swisslog AG ze Szwajcarii zwróciła się do nas z prośbą o opracowanie systemu symulacyjnego w czasie rzeczywistym, nazwanego E-Control. E-Control jest systemem testowym. Przedstawia na komputerze całość systemu logistycznego wraz z wszystkimi napędami i sensorami. Testowanie systemu sterowników logicznych polega na obserwacji na ekranie monitora komputera zachowań i przemieszczania się obiektów bez konieczności budowania rzeczywistego systemu. Program ten pozwala obserwować wysoki poziom szczegółów na rysunkach i w trakcie ruchu, jak również śledzi pozycje obiektów (pojemników lub palet). Z drugiej strony E-control stosuje wszystkie formy sygnalizacji sterowników. Sygnały reprezentują poszczególne zdarzenia, które zachodzą w trakcie symulacji. Tak więc E-control jest wirtualnym odtworzeniem rzeczywistego systemu logistycznego. Ilość sygnałów, jakie są przekazywane pomiędzy sterownikami a komputerem odpowiada ich ilości i czasowości w warunkach rzeczywistych. Oprogramowanie sterowników logicznych odbiera te sygnały i reaguje w odpowiednio zaprogramowany sposób. Sterowniki te wraz z ich oprogramowaniem zostaną później, jako oryginalny system, zainstalowane w rzeczywistym systemie logistycznym. Ta współpraca: symulowane wizualizowane zdarzenia systemu logistycznego w połączeniu ze sterownikami logicznymi i ich oprogramowaniem umożliwiają testowanie jak i poprawę oprogramowania tych sterowników

4

Kolorowanie automatowe sieci Petriego metodą wnioskowania symbolicznego

Tkacz J.

Pomiary Automatyka Kontrola

|

2007

|

R. 53, nr 5

120-122

PL

W referacie przedstawiono sposób dekompozycji sieci Petriego za pomocą naturalnego wnioskowania Gentzena na podsieci typu automatowego. Normalizacja i minimalizacja zbioru reguł z zastosowaniem algorytmu wnioskującego może zostać wykorzystana w procesach wyznaczania podsieci automatowych reprezentujących zdekomponowane, niezależne fragmenty większego układu sterowania. Prezentowana metoda, w odróżnieniu od innych, znanych z literatury, nie wymaga pełnego przekształcenia równania charakterystycznego, reprezentującego listę sąsiedztwa w celu uzyskania pierwszego rozwiązania.

EN

The paper presents a concept and design methodology for decomposition of logic controllers' specification by means of using Gentzen symbolic reasoning. Specification of logic controller behaviour can be represented by Petri net, which can be decomposed into simplified subnets. These subnets directly represent smaller and independent parts of logic controller. The first result (Petri net State Machine-subnet), obtained from symbolic deduction, can be generated without complete analysis of characteristic logic expression, created from local state space description.

5

Wykrywanie zastojów w sterownikach logicznych metodą symbolicznego wnioskowania Gentzena

Tkacz J.

Pomiary Automatyka Kontrola

|

2006

|

R. 52, nr 6 bis

11-13

PL

W referacie przedstawiono koncepcję i sposób weryfikacji specyfikacji sterowników logicznych z wykorzystaniem wnioskowania Gentzena. Zastosowanie symbolicznej metody Gentzena w odróżnieniu od opisywanych w literaturze rozwiązań, pozwala na pominięcie szeregu kroków w procesie analizy symbolicznej sieci Petriego, opisującej funkcjonowanie sterownika, co prowadzi do pełnej automatyzacji procesu weryfikacji. Metoda dokładnie określa fragmenty specyfikacji, w których występują defekty (np. zastoje).

EN

The paper presents a concept and methodology for verification of logic control-lers specification by means of using Gentzen symbolic deduction. This method omits some steps of algorithm of Petri net symbolic analysis, where Petri net specifies behavior of logic controller. This concept makes possible to automate full process of verification and determines places, for which specification has errors (deadlocks).

6

Wybrane tekstowe formaty specyfikacji sieci Petriego opisujące algorytmy sterowania

Węgrzyn A., Węgrzyn M.

Pomiary Automatyka Kontrola

|

2006

|

R. 52, nr 6 bis

29-31

PL

Układy sterowania mogą być modelowane z wykorzystaniem sieci Petriego, gdyż w łatwy sposób można przedstawić za ich pomocą współbieżność. Sieci Petriego mogą być reprezentowane w sposób graficzny (graf dwudzielny) lub tekstową. Istnieje wiele formatów tekstowych opisu sieci Petriego. Rozwój technologii przyczynił się do prowadzenia prac nad ujednoliceniem formatów tekstowych z wykorzystaniem języka XML - język PNML. W artykule został opisany rozwój formatów tekstowych specyfikacji sieci Petriego opisujących algorytmy sterowania.

EN

Discrete systems can be modeled by Petri nets, because Petri nets in easy way present concurrency. There are two method of specification of Petri net: graphical way (bipartite graph) and textual formats. There are a lot of textual format specifying Petri net. Development of new technologies contributes to standardization of textual formats using XML. In the paper development of textual format specifying Petri nets describing logic controllers, is presented.