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

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

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

Matheus Ungaretti Borges , Alessandro Pilloni , Gustavo Ribeiro Pontes , Carla Seatzu , Eduardo José Lima II

{"title":"信号解释彩色 Petri 网：离散事件系统基于反馈控制的快速原型建模工具","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":"{\"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}","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

摘要

Petri 网 (PN) 通常用于设计和验证，而不是直接实现控制。本文结合工业 4.0 范式对灵活和可重构控制系统的关注，提出了一种建模工具，用于在 PLC 或微控制器板等可编程控制器上快速原型化基于反馈的离散事件控制算法。该建模工具被命名为信号解释彩色 Petri 网（SICPNs），旨在将彩色 PNs 的形式建模表达能力与信号解释 PNs 的功能相结合，后者专门用于处理工厂测量和确定执行器指令。这一贡献包括：(a) SICPN 的形式定义；(b) 用符合 IEC61131-3 标准的 SCL 语言介绍所谓的令牌播放器，这是一个软件实体，旨在支持 SICPN 内基于反馈的决策；(c) 验证所提议的形式主义在使用 Arduino 微控制器通过双向 UART 串行通信控制 FESTO 模块化处理站（MPS）的扩展配置方面的有效性；(d) FESTO MPS 试验台的数字孪生体建模。测试表明，在过渡期间，颜色和信号解释条件使微控制器能够准确地安排和动态地重新配置控制操作，同时保持基于 PN 的控制器的体积相对于控制问题的复杂性较小。

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

查看原文本刊更多论文

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

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 工程技术-工程：电子与电气

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.