Abstract: This paper presents an interactive tool for remotely debugging, controlling, and monitoring IOPT-net models executed in networked embedded controllers. IOPT-nets is a Petri net class ...