Deakstadieđáhus: Modeling and simulation of discrete-event systems