Signal-Interpreted Coloured Petri Nets: A modelling tool for rapid prototyping in feedback-based control of discrete event systems

IF 5.4 2区计算机科学 Q1 AUTOMATION & CONTROL SYSTEMS

Control Engineering Practice Pub Date : 2024-09-23 DOI:10.1016/j.conengprac.2024.106099

{"title":"Signal-Interpreted Coloured Petri Nets: A modelling tool for rapid prototyping in feedback-based control of discrete event systems","authors":"","doi":"10.1016/j.conengprac.2024.106099","DOIUrl":null,"url":null,"abstract":"<div><div>Petri nets (PNs) are typically used for design and verification rather than direct control implementation. In this paper, aligning with the Industry 4.0 paradigm’s focus on flexible and reconfigurable control systems, we propose a modelling tool for rapidly prototyping feedback-based discrete-event control algorithms on programmable controllers such as PLCs or microcontroller boards. This modelling tool, named <em>Signal Interpreted Coloured Petri Nets</em> (SICPNs), aims to combine the formal modelling expressiveness of Coloured PNs with the capabilities of Signal Interpreted PNs, which are specialised in processing plant measurements and determining actuator commands. This contribution involves: (a) the formal definition of SICPN; (b) the presentation in the IEC61131-3 compliant SCL language of the so-called <em>Token Player</em>, a software entity designed to support feedback-based decision-making within the SICPN; (c) the validation of the effectiveness of the proposed formalism in controlling an extended configuration of the FESTO Modular Processing Station (MPS) using an Arduino microcontroller via two-way UART serial communications; (d) the modelling of a Digital Twin of the FESTO MPS testbed. The tests demonstrate that, during transitions, the colour and signal interpretation conditions enable the microcontroller to accurately schedule and dynamically reconfigure control actions while keeping the size of the PN-based controller small relative to the control problem’s complexity.</div></div>","PeriodicalId":50615,"journal":{"name":"Control Engineering Practice","volume":null,"pages":null},"PeriodicalIF":5.4000,"publicationDate":"2024-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Control Engineering Practice","FirstCategoryId":"94","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0967066124002582","RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"AUTOMATION & CONTROL SYSTEMS","Score":null,"Total":0}

引用次数: 0

Abstract

Petri nets (PNs) are typically used for design and verification rather than direct control implementation. In this paper, aligning with the Industry 4.0 paradigm’s focus on flexible and reconfigurable control systems, we propose a modelling tool for rapidly prototyping feedback-based discrete-event control algorithms on programmable controllers such as PLCs or microcontroller boards. This modelling tool, named Signal Interpreted Coloured Petri Nets (SICPNs), aims to combine the formal modelling expressiveness of Coloured PNs with the capabilities of Signal Interpreted PNs, which are specialised in processing plant measurements and determining actuator commands. This contribution involves: (a) the formal definition of SICPN; (b) the presentation in the IEC61131-3 compliant SCL language of the so-called Token Player, a software entity designed to support feedback-based decision-making within the SICPN; (c) the validation of the effectiveness of the proposed formalism in controlling an extended configuration of the FESTO Modular Processing Station (MPS) using an Arduino microcontroller via two-way UART serial communications; (d) the modelling of a Digital Twin of the FESTO MPS testbed. The tests demonstrate that, during transitions, the colour and signal interpretation conditions enable the microcontroller to accurately schedule and dynamically reconfigure control actions while keeping the size of the PN-based controller small relative to the control problem’s complexity.

查看原文本刊更多论文

信号解释彩色 Petri 网：离散事件系统基于反馈控制的快速原型建模工具

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Control Engineering Practice 工程技术-工程：电子与电气

CiteScore

9.20

自引率

12.20%

发文量

183

审稿时长

44 days

期刊介绍： Control Engineering Practice strives to meet the needs of industrial practitioners and industrially related academics and researchers. It publishes papers which illustrate the direct application of control theory and its supporting tools in all possible areas of automation. As a result, the journal only contains papers which can be considered to have made significant contributions to the application of advanced control techniques. It is normally expected that practical results should be included, but where simulation only studies are available, it is necessary to demonstrate that the simulation model is representative of a genuine application. Strictly theoretical papers will find a more appropriate home in Control Engineering Practice''s sister publication, Automatica. It is also expected that papers are innovative with respect to the state of the art and are sufficiently detailed for a reader to be able to duplicate the main results of the paper (supplementary material, including datasets, tables, code and any relevant interactive material can be made available and downloaded from the website). The benefits of the presented methods must be made very clear and the new techniques must be compared and contrasted with results obtained using existing methods. Moreover, a thorough analysis of failures that may happen in the design process and implementation can also be part of the paper. The scope of Control Engineering Practice matches the activities of IFAC. Papers demonstrating the contribution of automation and control in improving the performance, quality, productivity, sustainability, resource and energy efficiency, and the manageability of systems and processes for the benefit of mankind and are relevant to industrial practitioners are most welcome.