Laboratory for Discrete Event Systems