Simulation and Analysis of Controlled Multi-Representational Reasoning Processes