Decomposition of a Petri Net-Based Cyber-Physical System toward Implementation as an Integrated System within FPGA

被引：1
作者：
Wisniewski, Remigiusz [1 ]
Costa, Aniko [2 ]
Wojnakowski, Marcin [1 ]
Malinski, Maxim [3 ]
机构：
[1] Univ Zielona Gora, Inst Control & Computat Engn, Prof Z Szafrana 2, PL-65516 Zielona Gora, Poland
[2] NOVA Univ Lisbon, Ctr Technol & Syst UNINOVA CTS, NOVA Sch Sci & Technol, Associated Lab Intelligent Syst LASI, P-2829516 Lisbon, Portugal
[3] Univ Zielona Gora, Prof Z Szafrana 2, PL-65516 Zielona Gora, Poland
来源：
APPLIED SCIENCES-BASEL | 2023年 / 13卷 / 12期
关键词：
Petri nets; decomposition; cyber-physical system; integrated system; FPGA; CONCURRENT CONTROL-SYSTEMS;
D O I：
10.3390/app13127137
中图分类号：
O6 [化学];
学科分类号：
0703 ;
摘要：
Featured Application
引用
收藏
页数：15
相关论文
共 50 条
  • [41] Assessing the Security of a Cyber-Physical System Based on an Analysis of Malware Signatures
    Moskvin, D. A.
    AUTOMATIC CONTROL AND COMPUTER SCIENCES, 2023, 57 (08) : 894 - 903
  • [42] Modeling and Verification of Uncertain Cyber-Physical System Based on Decision Processes
    Chen, Na
    Geng, Shengling
    Li, Yongming
    MATHEMATICS, 2023, 11 (19)
  • [43] Cyber-physical system based production monitoring for tapioca starch production
    Sriyakul, H.
    Koolpiruck, D.
    Nuratch, S.
    Songkasiri, W.
    2017 4TH INTERNATIONAL CONFERENCE ON INFORMATION SCIENCE AND CONTROL ENGINEERING (ICISCE), 2017, : 926 - 930
  • [44] An Approach for Safety Analysis of Cyber-Physical System Based on Model Transformation
    Tuo, Mingfu
    Zhou, Xingshe
    Yang, Gang
    Fu, Ning
    2016 IEEE INTERNATIONAL CONFERENCE ON INTERNET OF THINGS (ITHINGS) AND IEEE GREEN COMPUTING AND COMMUNICATIONS (GREENCOM) AND IEEE CYBER, PHYSICAL AND SOCIAL COMPUTING (CPSCOM) AND IEEE SMART DATA (SMARTDATA), 2016, : 636 - 639
  • [45] Information Analysis and Natural Presentation Based on a Cyber-Physical System for Automobiles
    Nawa, Kazunari
    Chandrasiri, Naiwala P.
    IEEE INTERNET COMPUTING, 2015, 19 (02) : 78 - 82
  • [46] A digital twin for production planning based on cyber-physical systems: A Case Study for a Cyber-Physical System-Based Creation of a Digital Twin
    Biesinger, Florian
    Meike, Davis
    Krass, Benedikt
    Weyrich, Michael
    12TH CIRP CONFERENCE ON INTELLIGENT COMPUTATION IN MANUFACTURING ENGINEERING, 2019, 79 : 355 - 360
  • [47] From Key Business Factors to KPIs within a Reconfigurable and Flexible Cyber-Physical System
    Boschi, F.
    Zanetti, C.
    Tavola, G.
    Taisch, M.
    Leitao, P.
    Barbosa, J.
    Pereira, A.
    2017 INTERNATIONAL CONFERENCE ON ENGINEERING, TECHNOLOGY AND INNOVATION (ICE/ITMC), 2017, : 732 - 740
  • [48] Behavior description for complex flexible manufacturing system based on decomposition of petri net
    Qingtian Zeng
    Hua Duan
    COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 2007, 22 (06): : 359 - 363
  • [49] Toward a Petri Net Based Model to Control Conflicts of Autonomy between Cyber-Physical&Human-Systems
    Vanderhaegen, F.
    IFAC PAPERSONLINE, 2016, 49 (32): : 36 - 41
  • [50] Development of a New Green Indicator and Its Implementation in a Cyber-Physical System for a Green Supply Chain
    Morella, Paula
    Lamban, Maria Pilar
    Royo, Jesus
    Sanchez, Juan Carlos
    Ng Corrales, Lisbeth del Carmen
    SUSTAINABILITY, 2020, 12 (20) : 1 - 19
12345