Anomaly Correction of Business Processes Using Transformer Autoencoder