Title: Modeling Discrete-Event Systems with GPenSIM
Subjects: Discrete-time systems, Petri nets