Apfelbeck, C.C.ApfelbeckFritz, M.M.FritzJürjens, J.J.JürjensZweihoff, J.J.Zweihoff2022-03-122022-03-122015https://publica.fraunhofer.de/handle/publica/39010610.1109/COMPSAC.2015.100In this paper, we develop an approach to preserve validity of executable batch-job specifications during changes at run-time based on Petri-nets. The approach in particular supports changing batch-job specifications while they are being executed, which makes it particularly important to ensure that the change preserves the critical properties. The approach supports verification of the batch-job specifications that are subject to change against these properties and correction of those batch-job specifications that become invalid by the change. The developed approach was implemented and validated in an industrial application context.en004conference paper