Develop Debugger for Petri Net Runtime

[ZattiAndrea]

Build a debugger for the Petri net runtime, focusing on debugging language execution. Compare with Eclipse CDT bridge, WatchProviderContext, and IDebugStrategy for guidance. Implement breakpoints, step-through execution, and watch features for variable tracking (build debugger for Petri net runtime (debug language) compare with Eclipse CDT bridge, WatchProviderContext, IDebugStrategy. Debugger = abstract exec engine (set breakpoint, step, run), in transformation: also translate debug info (if exec)).

Define specific debugger steps such as step in, step out, single-step, and watch value. Consider how to implement stack frames based on the structure of statements, and decide whether to hide system-level variables (debugger.steps: single, into, out, watch (value). stack frames? define by structure of statements).