This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
SoSyM
sosym.org
did:plc:ybqzaedcp3gfphbv4scrhmk2
#OnlineFirst
Enabling concurrency issue detection for ROS 2 using Timed Petri nets
Sebastian Ebert, Ferdinand Auerswald, Sebastian Götz & Uwe Aßmann
https://doi.org/10.1007/s10270-026-01405-6
2026-07-10T05:08:26.773Z