Usage
debugging_environment/NetLogo/Reflection-Extension
node debugging_server.js
python simulation_client.py
python simulation_client_netlogo.py
True
(simulation halts) or False
(simulation does not halt). The parameter t
is an array of two elements representing the current time and phase, m
is the model being simulated, and tr
is a set of models that just transitioned to a new state.Models and Source Files
particle_interaction.py
(for DSDEVS)debugging_environment/NetLogo/BouncingBalls.nlogo
(for NetLOgo)javascript_models/particle_interaction_vis_js_instrumented.xml
visualization_server.html
debugging_environment/pypdevs/sccd.xml
debugging_environment/simulation_client.py
debugging_environment/NetLogo/simulator.xml
debugging_environment/simulation_client_netlogo.py
debugging_server.js