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] 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
  • [3] Petri Net-Based Specification of Cyber-Physical Systems Oriented to Control Direct Matrix Converters With Space Vector Modulation
    Wisniewski, Remigiusz
    Bazydlo, Grzegorz
    Szczesniak, Pawel
    Wojnakowski, Marcin
    IEEE ACCESS, 2019, 7 : 23407 - 23420
  • [4] 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
  • [5] Using Unified Enhanced Time Petri Net Models for Cyber-Physical System Development
    Letia, T. S.
    Kilyen, A. O.
    IFAC PAPERSONLINE, 2018, 51 (02): : 248 - 253
  • [6] Modeling and Analysis of Cyber-Physical System Based on Object-Oriente Generalized Stochastic Petri Net
    Hu, Haiyang
    Yu, Jiawei
    Li, Zhongjin
    Chen, Jie
    Hu, Hua
    IEEE TRANSACTIONS ON RELIABILITY, 2021, 70 (03) : 1271 - 1285
  • [7] Petri Net-based Smart Parking Information System
    Makke, Omar
    Gusikhin, Oleg
    PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON VEHICLE TECHNOLOGY AND INTELLIGENT TRANSPORT SYSTEMS (VEHITS), 2020, : 385 - 393
  • [8] AN INTEGRATED CYBER-PHYSICAL SYSTEM FOR CLOUD MANUFACTURING
    Wang, Lihui
    Gao, Robert
    Ragai, Ihab
    PROCEEDINGS OF THE ASME 9TH INTERNATIONAL MANUFACTURING SCIENCE AND ENGINEERING CONFERENCE, 2014, VOL 1, 2014,
  • [9] Systematic Petri net-based methodology for power system restoration
    Hatziargyriou, ND
    Fountas, NA
    Valavanis, KP
    ENGINEERING INTELLIGENT SYSTEMS FOR ELECTRICAL ENGINEERING AND COMMUNICATIONS, 1997, 5 (03): : 167 - 176
  • [10] Petri net-based modeling and simulation of a hybrid manufacturing system
    Jalilvand, A
    Khanmohammadi, S
    Shabaninia, F
    IEEE: 2005 INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES, PROCEEDINGS, 2005, : 382 - 387
12345