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

Michał DOLIGALSKI; Marian ADAMSKI

摘要

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.%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 thernpaper the possibility and desirability of implementing a new method of exceptions handling in a binary logic controller for productive is presented.

机译：使用UML状态机图和分层Petri网络[2，3]的相关图描述的同一抽象并行并发自动机的双重规范，对可重构逻辑控制器的程序进行了描述。本文介绍了如何处理特殊情况以及恢复并发控制，这是模块化Petri网络提供的分层离散过程。在有关Petri网络的文献中，没有一种连贯而简单的方法来引入这种功能，这是由Harel提出并在Gajski的著作中发展起来的分层状态图理论所知的[7，8]。从UML标准中得知，在Petri网络中映射特殊情况的现有方法导致打破了映射算法的简单性与其敏感性和直观性之间的关系。本文提出了一种处理异常情况的方法，其中包括将其他配置场所（活动的和休息的）引入到层次Petri网中。如果控制器正常运行，则会标记活动模块的配置位置。如果必须暂停系统，则活动配置位置会丢失标记，而转而使用静态配置位置。如果进程在失败后恢复，则标记将返回到活动的配置位置。在紧急情况下，配置活动站点将标记传递到抢先配置站点。可重配置逻辑控制器程序的描述是使用双重规范[5，6]进行的，并发抽象状态机均以UML状态机图和相关的层次Petri网[1,2,3]。本文展示了通过模块化Petri网描述的分层并发二进制过程的异常处理机制和控制恢复。在有关Petri网的文献中（图2），没有一种连贯而简单的方法来引入这种功能，这是由哈雷尔（Harel）提出并由盖伊斯基（Gajski）提出的国家层次图理论[7，8]提出的。 ]。本文通过在分层Petri网中引入其他配置位置（活动和空闲）来提出如何处理异常的方法（图3）。在必须停止系统的操作的情况下，活动配置场所将失去其对于空闲配置场所的标记。在发生故障后的恢复过程中（图6），标记将返回到活动的配置位置。在紧急情况下（严重例外-图7），活动配置位置会将标记移动到恢复配置位置。疏散网络控制区域中的所有标记，并将网络恢复到其原始状态。在本文中，提出了在二进制逻辑控制器中实施新的异常处理方法以提高生产率的可能性和可设计性。

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

摘要

著录项

相似文献

相关主题

期刊订阅