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

Pedro Sánchez, Diego Alonso, Fernando Terroso, Bárbara Álvarez. RIPN: A tool for implementing cyber-physical systems by using interpreted Petri Nets and teleo-reactive programs. SoftwareX, 31:102296, 2025. [doi]

Abstract

Abstract is missing.