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 条
  • [41] PETRI-NET-BASED ALGORITHMS FOR PARALLEL-CONTROLLER SYNTHESIS
    BILINSKI, K
    ADAMSKI, M
    SAUL, JM
    DAGLESS, EL
    IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 1994, 141 (06): : 405 - 412
  • [42] Property Preservation of Petri Synthesis Net Based Representation for Embedded Systems
    Xia, Chuanliang
    Li, Chengdong
    IEEE-CAA JOURNAL OF AUTOMATICA SINICA, 2021, 8 (04) : 905 - 915
  • [43] Synthesis of forcing/locking controllers based on net condition/event systems
    Luder, A
    Hanisch, HM
    Rausch, M
    ETFA '96 - 1996 IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, PROCEEDINGS, VOLS 1 AND 2, 1996, : 341 - 347
  • [44] Petri net based multi-robot task coordination from temporal logic specifications
    Lacerda, Bruno
    Lima, Pedro U.
    ROBOTICS AND AUTONOMOUS SYSTEMS, 2019, 122
  • [45] Novel analysis of Petri-net-based controllers by means of TCT implementation tool of supervisory control theory
    Gelen, Gokhan
    Uzam, Murat
    MAEJO INTERNATIONAL JOURNAL OF SCIENCE AND TECHNOLOGY, 2010, 4 (03) : 360 - 396
  • [46] An Improved Synthesis Method Based on ILPP and Colored Petri Net for Liveness Enforcing Controller of Flexible Manufacturing Systems
    Kaid, Husam
    Al-Ahmari, Abdulrahman
    Li, Zhiwu
    Ameen, Wadea
    IEEE ACCESS, 2022, 10 : 68570 - 68581
  • [47] Petri net as a tool with application in modelling an Internet-based virtual manufacturing enterprise
    Yang, ML
    Cheng, K
    Taylor, GE
    Dow, A
    16TH INTERNATIONAL CONFERENCE ON COMPUTER-AIDED PRODUCTION ENGINEERING - CAPE 2000, 2000, 2000 (05): : 443 - 453
  • [48] Petri Nets Based Verification of Epistemic Logic and Its Application on Protocols of Privacy and Security
    He, Leifeng
    Liu, Guanjun
    2020 IEEE WORLD CONGRESS ON SERVICES (SERVICES), 2020, : 25 - 28
  • [49] Modeling of block erection process in shipyard based on sharing synthesis of timed Petri net
    Xu, Ai-Min
    Jin, Ye
    Jisuanji Jicheng Zhizao Xitong/Computer Integrated Manufacturing Systems, CIMS, 2007, 13 (03): : 465 - 471
  • [50] Liveness and boundedness preservations of sharing synthesis of Petri net based representation for embedded systems
    Xia, Chuanliang
    Shen, Bin
    Zhang, Hailin
    Wang, Yigui
    COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 2018, 33 (05): : 345 - 350
12345