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...
Main Authors: | , , , |
---|---|
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 |