On Computation of Worst Change Time for Flush, Abort, SCO Dynamic Changes of State-Machine Workflow Nets