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 条
  • [1] Design of Petri Net-Based Cyber-Physical Systems Oriented on the Implementation in Field Programmable Gate Arrays
    Wisniewski, Remigiusz
    ENERGIES, 2021, 14 (21)
  • [2] Reliability Evaluation of Cyber-physical System of Distribution Network Based on Petri Net
    Li H.
    Guo X.
    Dianwang Jishu/Power System Technology, 2023, 47 (01): : 347 - 359
  • [3] Analysis of Safeness in a Petri Net-Based Specification of the Control Part of Cyber-Physical Systems
    Wojnakowski, Marcin
    Wisniewski, Remigiusz
    Bazydlo, Grzegorz
    Poplawski, Mateusz
    INTERNATIONAL JOURNAL OF APPLIED MATHEMATICS AND COMPUTER SCIENCE, 2021, 31 (04) : 647 - 657
  • [4] Hippo-CPS: A Tool for Verification and Analysis of Petri Net-Based Cyber-Physical Systems
    Wisniewski, Remigiusz
    Bazydlo, Grzegorz
    Wojnakowski, Marcin
    Poplawski, Mateusz
    APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, PETRI NETS 2023, 2023, 13929 : 191 - 204
  • [5] Sequence Composition Analysis of Noninterference in Cyber-Physical System with Petri Net
    Wang, Jingming
    Yu, Huiqun
    Leng, Chunxia
    INTERNATIONAL JOURNAL OF SECURITY AND ITS APPLICATIONS, 2014, 8 (03): : 185 - 192
  • [6] Assessment of Sustainability for Production Control Based on Petri net and Cyber-Physical Cloud System
    Watanabe, Edson H.
    da Silva, Robson M.
    Tsuzuki, Marcos S. G.
    Junqueira, Fabricio
    dos Santos Filho, Diolino J.
    Miyagi, Paulo E.
    IFAC PAPERSONLINE, 2017, 50 (01): : 12985 - 12990
  • [7] A Petri net-based workflow system
    Li, Xiaofang
    Wang, Congming
    Liang, Y.
    DYNAMICS OF CONTINUOUS DISCRETE AND IMPULSIVE SYSTEMS-SERIES B-APPLICATIONS & ALGORITHMS, 2006, 13E : 3726 - 3729
  • [8] A Petri Net-based Supply Chain System
    Liu, Jiang-ping
    Wu, Ri-geng
    INTERNATIONAL JOURNAL OF ONLINE ENGINEERING, 2018, 14 (11) : 28 - 39
  • [9] Modeling and Analysis of Cyber-physical Systems Based on Petri Net
    Yang, Yuhai
    Zhong, Chongquan
    Liu, Xiaodong
    Lu, Wei
    INTERNATIONAL JOURNAL OF CONTROL AUTOMATION AND SYSTEMS, 2023, 21 (09) : 2980 - 2994
  • [10] Modeling and Analysis of Cyber-physical Systems Based on Petri Net
    Yuhai Yang
    Chongquan Zhong
    Xiaodong Liu
    Wei Lu
    International Journal of Control, Automation and Systems, 2023, 21 (9) : 2980 - 2994
12345