Preserving Validity of Batch-Job Nets under Change at Run-Time. - Chris Apfelbeck; Martin Fritz; Jan Jürjens; Johannes Zweihoff (COMPSAC, 2015)