Matheus Ungaretti Borges , Alessandro Pilloni , Gustavo Ribeiro Pontes , Carla Seatzu , Eduardo José Lima II
{"title":"Signal-Interpreted Coloured Petri Nets: A modelling tool for rapid prototyping in feedback-based control of discrete event systems","authors":"Matheus Ungaretti Borges , Alessandro Pilloni , Gustavo Ribeiro Pontes , Carla Seatzu , Eduardo José Lima II","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":"153 ","pages":"Article 106099"},"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.
期刊介绍：
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.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
