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

Decomposition is one of the commonly used techniques applied in the design of Petri net-based cyber-physical systems. Such an operation permits the splitting of the initial system into sequential components that can be further implemented as an integrated or distributed system. This paper is focused...

Full description

Bibliographic Details
Main Authors: Remigiusz Wiśniewski, Anikó Costa, Marcin Wojnakowski, Maxim Maliński
Format: Article
Language:English
Published: MDPI AG 2023-06-01
Series:Applied Sciences
Subjects:
Online Access:https://www.mdpi.com/2076-3417/13/12/7137
_version_ 1827738777395658752
author Remigiusz Wiśniewski
Anikó Costa
Marcin Wojnakowski
Maxim Maliński
author_facet Remigiusz Wiśniewski
Anikó Costa
Marcin Wojnakowski
Maxim Maliński
author_sort Remigiusz Wiśniewski
collection DOAJ
description Decomposition is one of the commonly used techniques applied in the design of Petri net-based cyber-physical systems. Such an operation permits the splitting of the initial system into sequential components that can be further implemented as an integrated or distributed system. This paper is focused on the decomposition of the modelled CPS toward its further implementation as an integrated system, namely an FPGA device. The adequate decomposition method is presented and explained in detail. Moreover, the proposed idea is explained by the real-life example of the beverage production and distribution system. The results of the experiments are presented and discussed.
first_indexed 2024-03-11T02:49:06Z
format Article
id doaj.art-c7a8734e4a1c4e7da82a05a0738bf5da
institution Directory Open Access Journal
issn 2076-3417
language English
last_indexed 2024-03-11T02:49:06Z
publishDate 2023-06-01
publisher MDPI AG
record_format Article
series Applied Sciences
spelling doaj.art-c7a8734e4a1c4e7da82a05a0738bf5da2023-11-18T09:09:36ZengMDPI AGApplied Sciences2076-34172023-06-011312713710.3390/app13127137Decomposition of a Petri Net-Based Cyber-Physical System toward Implementation as an Integrated System within FPGARemigiusz Wiśniewski0Anikó Costa1Marcin Wojnakowski2Maxim Maliński3Institute of Control and Computation Engineering, University of Zielona Góra, Prof. Z. Szafrana 2, 65-516 Zielona Góra, PolandNOVA School of Science and Technology, Center of Technology and Systems (UNINOVA-CTS), Associated Lab of Intelligent Systems (LASI), NOVA University Lisbon, 2829-516 Lisbon, PortugalInstitute of Control and Computation Engineering, University of Zielona Góra, Prof. Z. Szafrana 2, 65-516 Zielona Góra, PolandUniversity of Zielona Góra, Prof. Z. Szafrana 2, 65-516 Zielona Góra, PolandDecomposition is one of the commonly used techniques applied in the design of Petri net-based cyber-physical systems. Such an operation permits the splitting of the initial system into sequential components that can be further implemented as an integrated or distributed system. This paper is focused on the decomposition of the modelled CPS toward its further implementation as an integrated system, namely an FPGA device. The adequate decomposition method is presented and explained in detail. Moreover, the proposed idea is explained by the real-life example of the beverage production and distribution system. The results of the experiments are presented and discussed.https://www.mdpi.com/2076-3417/13/12/7137Petri netsdecompositioncyber-physical systemintegrated systemFPGA
spellingShingle Remigiusz Wiśniewski
Anikó Costa
Marcin Wojnakowski
Maxim Maliński
Decomposition of a Petri Net-Based Cyber-Physical System toward Implementation as an Integrated System within FPGA
Applied Sciences
Petri nets
decomposition
cyber-physical system
integrated system
FPGA
title Decomposition of a Petri Net-Based Cyber-Physical System toward Implementation as an Integrated System within FPGA
title_full Decomposition of a Petri Net-Based Cyber-Physical System toward Implementation as an Integrated System within FPGA
title_fullStr Decomposition of a Petri Net-Based Cyber-Physical System toward Implementation as an Integrated System within FPGA
title_full_unstemmed Decomposition of a Petri Net-Based Cyber-Physical System toward Implementation as an Integrated System within FPGA
title_short Decomposition of a Petri Net-Based Cyber-Physical System toward Implementation as an Integrated System within FPGA
title_sort decomposition of a petri net based cyber physical system toward implementation as an integrated system within fpga
topic Petri nets
decomposition
cyber-physical system
integrated system
FPGA
url https://www.mdpi.com/2076-3417/13/12/7137
work_keys_str_mv AT remigiuszwisniewski decompositionofapetrinetbasedcyberphysicalsystemtowardimplementationasanintegratedsystemwithinfpga
AT anikocosta decompositionofapetrinetbasedcyberphysicalsystemtowardimplementationasanintegratedsystemwithinfpga
AT marcinwojnakowski decompositionofapetrinetbasedcyberphysicalsystemtowardimplementationasanintegratedsystemwithinfpga
AT maximmalinski decompositionofapetrinetbasedcyberphysicalsystemtowardimplementationasanintegratedsystemwithinfpga