În lucrare este propusă o metodă de sinteză a sistemelor de control în timp real bazată pe maparea directă a modelului reţelei Petri în arhitectura hardware. Pentru specificarea şi modelarea sistemului de control au fost elaborate reţelele Petri de control sincrone temporizate. Trecerea la descrierea hard a sistemului se realizează prin intermediul reţelelor Petri Hard Temporizate (RPHT). Implementarea directă a modelului RPHT în arhitectura hardware permite realizarea circuitului logic al sistemului de control.

This paper presents a method for synthesis of realtime control systems based on direct mapping of Petri net model in hardware architecture. To specify and model the control system, synchronous timed Petri nets have been developed. Switching to hardware description of the system is achieved through Hard Timed Petri nets (HTPN). Direct implementation of the HTPN model to hardware architecture allows obtaining the logic circuit of the control system.

Dans le papier nous proposons une méthode de synthèse des systèmes de contrôle en temps réel basée sur la correspondance directe du modèle Réseau de Petri à l’architecture matérielle. Pour la spécification et la modélisation du système de contrôle ont été conçus des réseaux de Petri de contrôle synchrones temporisés. Le passage vers la description matérielle du système est réalisé par l’intermédiaire des réseaux de Petri Hard Temporisé (RPHT). L’implémentation directe du modèle RPHT dans l’architecture matérielle permet la réalisation du circuit logique du système de contrôle.

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