Sisteme de control în timp real în baza reţelelor Petri Hard

Abstract

În lucrare este propusă o metodă de proiectare a sistemelor de control în timp real în baza Reţelelor Petri Hard ( ). Este definită o Reţea Petri Hard printr-o mulţime de elemente de procesare (poziţii şi tranziţii) şi fluxuri de date (conexiunile dintre elementele de procesare). Sunt prezentate descrierile elementelor de procesare din punct de vedere al implementării în structuri hard şi schemele lor logice. Se propune spre examinare procesul de sinteză a unui sistem de control în baza modelului RPH.

This paper presents a real-time control system design method based on Hard Petri Nets (HPN). A Hard Petri Net is defined as a set of processing elements (places and transitions) and data flows (connections between processing elements). The description of processing elements in the point of view of their hardware implementation and their circuits are presented. It is proposed for examination the control system design example based on Hard Petri Net model.

Cet article présente une méthode de conception des systèmes de control temps réel en base de réseaux de Petri matérielles (RPM). Ce type des réseaux est définit par un ensemble des éléments de traitement (places et transitions) et flots de données (connexions entre les éléments de traitement). Sont présente les descriptions des éléments de traitement du point de vu l’implémentation matérielle et leur schéma logique.

В работе представлен метод синтеза систем управления в режиме реального времени на основе аппаратных сетей Петри (АСП). АСП рассматривается в виде множества функциональных элементов (позиций и переходов) и потоков данных (связи между функциональными элементами). Представлены функциональные описания элементов для их дальнейшего синтеза и разработанные логические схемы. Предложен к рассмотрению пример синтеза системы управления на основе модели аппаратной сети Петри.