Modeling discrete-event systems with GPenSIM : an introduction /: an introduction. (2018)