Modern workflow management systems are for experts to unleash their power and get process models working. This can be a major obstacle introducing such a system, especially, to public institutions or small and medium-sized enterprises. To improve this situation, this paper introduces a new lightweight system called Progression. Progression builds up on research outcomes of the last decades (e. g., soundness verification with detailed diagnostic information, liberal OR-join semantics, and loop decomposition). They enable Progression only to execute sound acyclic process models interacting with signals (or messages). The system uses a new Track-and-Trace Semantics, which allows for local, distributed, and unsupervised executions of process models and increases the security through restricted task accesses. Furthermore, the paths being executed are entirely traceable. Besides the semantics, this paper discusses the architecture and current implementation of Progression from process modeling to its execution.