@article{2900,
  author = {Marco Franceschetti, Johann Eder},
  title = {Towards Checking Dynamic Controllability of Processes with Temporal Loops},
  journal = {Journal of Networking Technology},
  year = {2019},
  volume = {10},
  number = {4},
  doi = {https://doi.org/10.6025/jnt/2019/10/4/156-166},
  url = {http://www.dline.info/jnt/fulltext/v10n4/jntv10n4_3.pdf},
  abstract = {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.},
}