Design of Petri Net-Based Cyber-Physical Systems Oriented on the Implementation in Field Programmable Gate Arrays

Two design flows of the Petri net-based cyber-physical systems oriented towards implementation in an FPGA are presented in the paper. The first method is based on the behavioural description of the system. The control part of the cyber-physical system is specified by an interpreted Petri net, and is...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autor principal:	Remigiusz Wisniewski
Formato:	article
Lenguaje:	EN
Publicado:	MDPI AG 2021
Materias:	Petri net control part of cyber-physical systems FPGA Verilog HDL Technology T
Acceso en línea:	https://doaj.org/article/cb42e04d85c3490c85b7e60fa473080e
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

id	oai:doaj.org-article:cb42e04d85c3490c85b7e60fa473080e
record_format	dspace
spelling	oai:doaj.org-article:cb42e04d85c3490c85b7e60fa473080e2021-11-11T15:51:51ZDesign of Petri Net-Based Cyber-Physical Systems Oriented on the Implementation in Field Programmable Gate Arrays10.3390/en142170541996-1073https://doaj.org/article/cb42e04d85c3490c85b7e60fa473080e2021-10-01T00:00:00Zhttps://www.mdpi.com/1996-1073/14/21/7054https://doaj.org/toc/1996-1073Two design flows of the Petri net-based cyber-physical systems oriented towards implementation in an FPGA are presented in the paper. The first method is based on the behavioural description of the system. The control part of the cyber-physical system is specified by an interpreted Petri net, and is described directly in the synthesisable Verilog hardware language for further implementation in the programmable device. The second technique involves splitting the design into sequential modules. In particular, adequate decomposition and synchronisation algorithms are proposed. The resulting modules are further modelled within the Verilog language as the composition of sequential automata. The presented design flows are supported by theoretical background, and templates of Verilog codes. The proposed techniques are illustrated by a real-life example of a multi-robot cyber-physical system, where each step of the proposed flows is explained in detail, including modelling, description of the system in the Verilog language, and final implementation within the FPGA device. The results obtained during the verification and validation confirm the proper functionality of the system designed by both design flows.Remigiusz WisniewskiMDPI AGarticlePetri netcontrol part of cyber-physical systemsFPGAVerilog HDLTechnologyTENEnergies, Vol 14, Iss 7054, p 7054 (2021)
institution	DOAJ
collection	DOAJ
language	EN
topic	Petri net control part of cyber-physical systems FPGA Verilog HDL Technology T
spellingShingle	Petri net control part of cyber-physical systems FPGA Verilog HDL Technology T Remigiusz Wisniewski Design of Petri Net-Based Cyber-Physical Systems Oriented on the Implementation in Field Programmable Gate Arrays
description	Two design flows of the Petri net-based cyber-physical systems oriented towards implementation in an FPGA are presented in the paper. The first method is based on the behavioural description of the system. The control part of the cyber-physical system is specified by an interpreted Petri net, and is described directly in the synthesisable Verilog hardware language for further implementation in the programmable device. The second technique involves splitting the design into sequential modules. In particular, adequate decomposition and synchronisation algorithms are proposed. The resulting modules are further modelled within the Verilog language as the composition of sequential automata. The presented design flows are supported by theoretical background, and templates of Verilog codes. The proposed techniques are illustrated by a real-life example of a multi-robot cyber-physical system, where each step of the proposed flows is explained in detail, including modelling, description of the system in the Verilog language, and final implementation within the FPGA device. The results obtained during the verification and validation confirm the proper functionality of the system designed by both design flows.
format	article
author	Remigiusz Wisniewski
author_facet	Remigiusz Wisniewski
author_sort	Remigiusz Wisniewski
title	Design of Petri Net-Based Cyber-Physical Systems Oriented on the Implementation in Field Programmable Gate Arrays
title_short	Design of Petri Net-Based Cyber-Physical Systems Oriented on the Implementation in Field Programmable Gate Arrays
title_full	Design of Petri Net-Based Cyber-Physical Systems Oriented on the Implementation in Field Programmable Gate Arrays
title_fullStr	Design of Petri Net-Based Cyber-Physical Systems Oriented on the Implementation in Field Programmable Gate Arrays
title_full_unstemmed	Design of Petri Net-Based Cyber-Physical Systems Oriented on the Implementation in Field Programmable Gate Arrays
title_sort	design of petri net-based cyber-physical systems oriented on the implementation in field programmable gate arrays
publisher	MDPI AG
publishDate	2021
url	https://doaj.org/article/cb42e04d85c3490c85b7e60fa473080e
work_keys_str_mv	AT remigiuszwisniewski designofpetrinetbasedcyberphysicalsystemsorientedontheimplementationinfieldprogrammablegatearrays
_version_	1718433337890045952

Design of Petri Net-Based Cyber-Physical Systems Oriented on the Implementation in Field Programmable Gate Arrays

Ejemplares similares