Simulating Schelling's Dynamic Models of Segregation using Petri - View it on GitHub