Supervisor Synthesis of Petri Net Based on Structural Analysis