Return to Article Details Petri Net Approach of Collision Prevention Supervisor Design in Port Transport System Download Download PDF