A tool for symulating discrete-event systems using Petri nets.