Journal of Networking Technology Marco Franceschetti, Johann Eder 10 4 2019 https://doi.org/10.6025/jnt/2019/10/4/156-166 http://www.dline.info/jnt/fulltext/v10n4/jntv10n4_3.pdf We propose a technique for checking the dynamic controllability of processes with temporally constrained loops. The temporal control structures t-split and t-loop are adequate concepts for modelling the behaviour of processes dependent on the speed of execution of a process instance. While the run-time semantics of these constructs is straightforward, the assessment of the temporal properties of processes with temporal control structures is complex. Here we propose a procedure for checking the dynamic controllability of processes with temporal loops by mapping them to processes without t-loops, which then can be mapped to CSTNUDs, simple temporal networks with uncertainty and decisions. For CSTNUDs procedures for checking dynamic controllability are available.