A simulator for visualising the evolution of π-calculus terms