Modellierung und Automatisierungsanalyse von Seefrachttransportprozessen am Beispiel von Fr. Meyer's Sohn (FMS)