Wyniki wyszukiwania - BazTech

1

Mechanizm obsługi sytuacji wyjątkowych oraz ponownego wznowienia sterowania w hierarchicznych sieciach Petriego

Doligalski M., Adamski M.

Pomiary Automatyka Kontrola

|

2011

|

R. 57, nr 6

671-674

PL

Opis programów dla rekonfigurowalnych sterowników logicznych jest przeprowadzany z wykorzystaniem dualnej specyfikacji tego samego, abstrakcyjnego automatu współbieżnego opisanego zarówno diagramem maszyny stanów UML jak i skorelowanym z nim diagramem hierarchicznej sieci Petriego [2, 3]. W artykule pokazano sposób obsługi sytuacji wyjątkowych oraz ponownego wznowienia sterowania współbieżnego, hierarchicznego procesu dyskretnego przedstawionego modularną siecią Petriego. W literaturze przedmiotu dotyczącej sieci Petriego, brak jest spójnej i prostej metodologii wprowadzenia tego rodzaju funkcjonalności, znanej z teorii hierarchicznych map stanów wprowadzonej przez Harela i rozwiniętej w pracach Gajskiego [7, 8]. Dotychczasowe sposoby odwzorowania sytuacji wyjątkowych w sieciach Petriego, znane ze standardu UML, prowadzą do zerwania związku między prostotą odwzorowania algorytmu a jego sensownością i intuicyjnością. W pracy zaproponowano sposób obsługi sytuacji wyjątkowych polegający na wprowadzeniu do hierarchicznych sieci Petriego dodatkowych miejsc konfiguracyjnych (aktywnych i spoczynkowych). W przypadku prawidłowego funkcjonowania sterownika miejsca konfiguracyjne aktywnych modułów są oznakowane. W przypadku wystąpienia konieczności wstrzymania pracy układu, aktywne miejsce konfiguracyjne traci marker na rzecz spoczynkowych miejsc konfiguracyjnych. W przypadku wznowienia procesów po awarii, następuje powrót markerów do aktywnych miejsc konfiguracyjnych. W przypadku obsługi sytuacji krytycznej, konfiguracyjne miejsce aktywne przekazuje marker do miejsca konfiguracyjnego wywłaszczającego. Przeprowadzane jest opróżnienie z markerów wszystkich miejsc sterujących w sieci a wznowienie pracy powoduje wprowadzenie jej do stanu początkowego.

EN

The description of programs for reconfigurable logic controllers is performed with use of dual specification [5, 6], concurrent abstract state machine described both with the UML state machine diagram and correlated hierarchical Petri net [1, 2, 3]. The paper shows the exceptions handling mechanism and control resumption of the hierarchical concurrent binary process described by means of a modular Petri net. In the literature on Petri nets (Fig. 2), there is no coherent and simple methodology for introduction of this kind of functionality, known from the theory of hierarchical map of states introduced by Harel and developed in the work by Gajski [7, 8]. The paper proposes how to handle exceptions based on introducing additional configurational places (active and idle) into hierarchical Petri nets (Fig. 3). In the case of having to stop operation of the system, the active configurational place loses its marker for the idle configurational place. In the case of resumption processes after the failure (Fig. 6), markers will return to the active configurational places. In the case of an emergency (critical exceptions - Fig. 7.), the active configurational place moves a marker to the resumption configurational place. Evacuation of all markers in the control places of the network and resumption of the net work to its original state are carried out. In the paper the possibility and desirability of implementing a new method of exceptions handling in a binary logic controller for productive is presented.

2

Obsługa wyjątków oraz stanów wznowienia w ramach dualnej specyfikacji

Doligalski M., Adamski M.

Przegląd Elektrotechniczny

|

2010

|

R. 86, nr 9

123-125

PL

Dualna specyfikacja SM-HPN [4] jest alternatywną metodą specyfikacji sterowników cyfrowych, w odróżnieniu do konkurencji silnie opartą na standardach[7]. Diagram maszyny stanów – będący jej modelem elementarnym – umożliwia przedstawienie obsługi wyjątków oraz stanów wznowienia. Hierarchiczna siec´ Petriego – będąca drugim komplementarnym modelem elementarnym – nie posiada takich mechanizmów[3, 5]. W artykule omówiono sposób implementacji wznowienia i wywłaszczenia w hierarchicznej sieci Petriego poprzez wprowadzenie miejsc konfiguracyjnych i spoczynkowych.

EN

Dual specification is an alternative method for the digital logic controller specification, in contrast to the other techniques highly competitive standardsbased. State machine diagram - one of the elementary model - provides exceptions handling and history states. Hierarchical Petri net - which is the second complementary elementary model - has no such mechanisms. The article discusses how to implement the resumption and the expropriation of hierarchical Petri nets by introducing configuration and resting places.

3

Częściowa rekonfiguracja sterowników binarnych opisanych sieciami Petriego

Węgrzyn M.

Pomiary Automatyka Kontrola

|

2006

|

R. 52, nr 6 bis

26-28

PL

W prezentowanym artykule przedstawiono metodę projektowania reprogramowalnych sterowników binarnych pod kątem ich częściowej rekonfiguracji. Do specyfikacji algorytmów sterowania stosowana jest hierarchiczna sieć Petriego. Projektowane układy implementowane są w strukturach programowalnych FPGA. Opracowana metoda uwzględnia możliwość zastąpienia złożonych fragmentów sieci (podsieci lub mikromodułów, tzn. makromiejsc i makrotranzycji) innymi w celu dopasowania algorytmu sterowania do realizacji nowych zadań. W przeprowadzonych testach wykorzystano układu FPGA firmy Xilinx. Testy wykazały skuteczność metody przy zachowaniu łatwości modyfikacji algorytmu.

EN

In the paper a new method of Logic Controller design for a partial reconfiguration is presented. Programs of Logic Controllers are specified by means of hierarchical Petri nets. As a final technology programmable logic is applied. The proposed method allows replacing complex parts of the net (i.e. subnet, macroplaces, or macrotransitions) by other ones for realization of new tasks by the controller. Xilinx FPGAs have been used in tests. The tests showed a method effectiveness, while modifications of the algorithms were easy carried out.