Petri-Net-Based Interlocking and Supervisory Logic for Tap-Changer-Assisted Transformers: A Formalized Control Approach | Synapse