In the Programming Lab “Models of Dynamic Systems” Bachelor students develop small computer games based on discrete models such as Petri nets, transition systems, the π-calculus and population protocols. The core of this is learning team working methods and project management. But at the same time, nice games are created that have something to do with theoretical computer science. On this page some of the results are collected.