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

被引：0
|
作者：
Tkacz, J. [1 ]
Bukowiec, A. [1 ]
Adamski, M. [1 ]
机构：
[1] Univ Zielona Gora, 9 Licealna St, PL-65417 Zielona Gora, Poland
来源：
BULLETIN OF THE POLISH ACADEMY OF SCIENCES-TECHNICAL SCIENCES | 2016年 / 64卷 / 03期
关键词：
critical safety; FPGAs; logic controllers; logic synthesis; Petri nets; verification; HARDWARE IMPLEMENTATION; FPGA; DESIGN;
D O I：
10.1515/bpasts-2016-0052
中图分类号：
T [工业技术];
学科分类号：
08 ;
摘要：
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.
引用
收藏
页码：467 / 478
页数：12
相关论文
共 50 条
  • [11] Rapid Prototyping of Graphical User Interfaces for Petri-Net-Based Controllers
    Gomes, Luis
    Lourenco, Joao
    IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS, 2010, 57 (05) : 1806 - 1813
  • [12] An admissible-behaviour-based analysis of the deadlock in Petri-net controllers
    Music, G.
    Matko, D.
    SIMULATION MODELLING PRACTICE AND THEORY, 2008, 16 (08) : 1077 - 1090
  • [13] Design of Safety Petri Net Controllers for Deadlock Prevention at a Class of Road Intersections
    Wei, Yaxin
    Ning, Haijing
    An, Yisheng
    Wu, Naiqi
    Zhao, Xiangmo
    IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, 2023, 24 (12) : 14453 - 14466
  • [14] Petri net and rewriting logic based formal analysis of multi -agent based safety -critical systems
    Boucherit, Ammar
    Castro, Laura M.
    Khababa, Abdallah
    Hasan, Osman
    MULTIAGENT AND GRID SYSTEMS, 2020, 16 (01) : 47 - 66
  • [15] Graphical simulator for programmable logic controllers based on Petri nets
    Barker, HA
    Grant, PW
    Song, J
    MICROPROCESSING AND MICROPROGRAMMING, 1996, 41 (10): : 737 - 756
  • [16] Service net algebra based on logic Petri nets
    Hu, Qiang
    Du, Yuyue
    Yu, ShuXia
    INFORMATION SCIENCES, 2014, 268 : 271 - 289
  • [17] Net structure and control logic synthesis of controlled Petri nets
    Chen, HX
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1998, 43 (10) : 1446 - 1450
  • [18] On the application of Petri net supervisory controllers in dynamic reconfiguration of medical emergency resources
    Sampath, R
    Darabi, H
    INTERNATIONAL CONFERENCE ON COMPUTING, COMMUNICATIONS AND CONTROL TECHNOLOGIES, VOL 2, PROCEEDINGS, 2004, : 349 - 354
  • [19] RCPetri: a Matlab app for the synthesis of Petri net regulation controllers for industrial automation
    Cid Gaona, Anibal
    Manuel Chavez, Jose
    Renato Vazquez, Carlos
    2021 26TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2021,
  • [20] Verification of Concurrent Assembly Programs with a Petri Net Based Safety Policy
    Wang, Shengyuan
    Liang, Yingyi
    Dong, Yuan
    Tsinghua Science and Technology, 2007, 12 (06) : 684 - 690
12345