Modeling and mining of business processes in the logistics-port sector