RIPN：通过使用解释Petri网和远程反应程序实现网络物理系统的工具

IF 2.4 4区计算机科学 Q2 COMPUTER SCIENCE, SOFTWARE ENGINEERING

SoftwareX Pub Date : 2025-08-02 DOI:10.1016/j.softx.2025.102296

Pedro Sánchez, Diego Alonso, Fernando Terroso, Bárbara Álvarez

{"title":"RIPN：通过使用解释Petri网和远程反应程序实现网络物理系统的工具","authors":"Pedro Sánchez, Diego Alonso, Fernando Terroso, Bárbara Álvarez","doi":"10.1016/j.softx.2025.102296","DOIUrl":null,"url":null,"abstract":"<div><div>We present a new tool called RIPN, implemented in Java programming language, that enables the development of cyber-physical systems by integrating interpreted Petri nets and teleo-reactive programs. Petri nets have long been used in engineering for modeling discrete event systems. In turn, teleo-reactive programs allow complex behaviours to be specified by means of a prioritised set of rules, of great application proven in the field of autonomous vehicles and robotics. Combining these two formalisms provides a powerful tool for developing cyber-physical systems, leveraging the strengths of each. The integration of interpreted Petri nets and teleo-reactive programs via a shared knowledge base called the BeliefStore, and a unified event management is presented as a novel approach that can be adopted by the community for the implementation of cyber-physical systems.</div></div>","PeriodicalId":21905,"journal":{"name":"SoftwareX","volume":"31 ","pages":"Article 102296"},"PeriodicalIF":2.4000,"publicationDate":"2025-08-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"RIPN: A tool for implementing cyber-physical systems by using interpreted Petri Nets and teleo-reactive programs\",\"authors\":\"Pedro Sánchez, Diego Alonso, Fernando Terroso, Bárbara Álvarez\",\"doi\":\"10.1016/j.softx.2025.102296\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><div>We present a new tool called RIPN, implemented in Java programming language, that enables the development of cyber-physical systems by integrating interpreted Petri nets and teleo-reactive programs. Petri nets have long been used in engineering for modeling discrete event systems. In turn, teleo-reactive programs allow complex behaviours to be specified by means of a prioritised set of rules, of great application proven in the field of autonomous vehicles and robotics. Combining these two formalisms provides a powerful tool for developing cyber-physical systems, leveraging the strengths of each. The integration of interpreted Petri nets and teleo-reactive programs via a shared knowledge base called the BeliefStore, and a unified event management is presented as a novel approach that can be adopted by the community for the implementation of cyber-physical systems.</div></div>\",\"PeriodicalId\":21905,\"journal\":{\"name\":\"SoftwareX\",\"volume\":\"31 \",\"pages\":\"Article 102296\"},\"PeriodicalIF\":2.4000,\"publicationDate\":\"2025-08-02\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"SoftwareX\",\"FirstCategoryId\":\"94\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/S2352711025002626\",\"RegionNum\":4,\"RegionCategory\":\"计算机科学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q2\",\"JCRName\":\"COMPUTER SCIENCE, SOFTWARE ENGINEERING\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"SoftwareX","FirstCategoryId":"94","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S2352711025002626","RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"COMPUTER SCIENCE, SOFTWARE ENGINEERING","Score":null,"Total":0}

引用次数: 0

摘要

我们提出了一个名为RIPN的新工具，用Java编程语言实现，通过集成解释Petri网和远程反应程序，可以开发网络物理系统。Petri网在工程中用于离散事件系统建模已经有很长时间了。反过来，远程反应程序允许通过一组优先规则来指定复杂的行为，这在自动驾驶汽车和机器人领域得到了广泛的应用。将这两种形式结合起来，为开发网络物理系统提供了一个强大的工具，可以利用每种形式的优势。通过名为BeliefStore的共享知识库集成解释Petri网和远程反应程序，以及统一的事件管理，提出了一种新的方法，可以被社区采用，用于实现网络物理系统。

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

查看原文本刊更多论文

RIPN: A tool for implementing cyber-physical systems by using interpreted Petri Nets and teleo-reactive programs

We present a new tool called RIPN, implemented in Java programming language, that enables the development of cyber-physical systems by integrating interpreted Petri nets and teleo-reactive programs. Petri nets have long been used in engineering for modeling discrete event systems. In turn, teleo-reactive programs allow complex behaviours to be specified by means of a prioritised set of rules, of great application proven in the field of autonomous vehicles and robotics. Combining these two formalisms provides a powerful tool for developing cyber-physical systems, leveraging the strengths of each. The integration of interpreted Petri nets and teleo-reactive programs via a shared knowledge base called the BeliefStore, and a unified event management is presented as a novel approach that can be adopted by the community for the implementation of cyber-physical systems.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

SoftwareX COMPUTER SCIENCE, SOFTWARE ENGINEERING-

CiteScore

5.50

自引率

2.90%

发文量

184

审稿时长

9 weeks

期刊介绍： SoftwareX aims to acknowledge the impact of software on today''s research practice, and on new scientific discoveries in almost all research domains. SoftwareX also aims to stress the importance of the software developers who are, in part, responsible for this impact. To this end, SoftwareX aims to support publication of research software in such a way that: The software is given a stamp of scientific relevance, and provided with a peer-reviewed recognition of scientific impact; The software developers are given the credits they deserve; The software is citable, allowing traditional metrics of scientific excellence to apply; The academic career paths of software developers are supported rather than hindered; The software is publicly available for inspection, validation, and re-use. Above all, SoftwareX aims to inform researchers about software applications, tools and libraries with a (proven) potential to impact the process of scientific discovery in various domains. The journal is multidisciplinary and accepts submissions from within and across subject domains such as those represented within the broad thematic areas below: Mathematical and Physical Sciences; Environmental Sciences; Medical and Biological Sciences; Humanities, Arts and Social Sciences. Originating from these broad thematic areas, the journal also welcomes submissions of software that works in cross cutting thematic areas, such as citizen science, cybersecurity, digital economy, energy, global resource stewardship, health and wellbeing, etcetera. SoftwareX specifically aims to accept submissions representing domain-independent software that may impact more than one research domain.