أرسل هذا في رسالة قصيرة: A stochastic petri net-based approach for operational performance estimation of quay cranes