A tool for symulating discrete-event systems using Petri nets. - View it on GitHub