Modeling Discrete-Event Systems with GPenSIM

The brief will be accompanied by software and code for worked examples that can be downloaded from the author's website