Return to Article Details Automatic Supervisory System Synthesis for Port Cranes Collision Prevention by Using Petri Net Download Download PDF