Simulator for Port-Numbering Model, a model of computation for distributed algorithms