...
Both conditions shown above are equally suitable, but there is a mixture of actual start conditions and the triggering event. In fact, the target laboratory 100 is the actual start precondition and the change of the laboratory is the autostart condition. Only if these conditions are divided correctly, a process could not be started automatically later (manually, by programming or by another process).
The ideal variant should therefore be such that the target laboratory is maintained as part of the start precondition and the data change as part of the autostart conditions. To avoid redundancy of laboratory 100, it is sufficient in this case to simply check whether the laboratory was changed at all in the autostart condition, that is, whether the value of the delta function is empty. The start precondition already ensures that the target laboratory is set to 100 (new) and the autostart condition only ensures that the laboratory has been changed.
...