## Appendix A  
The input data of the example instance. * Ship_tokens (<_I_,\(D\),_T1>) ship_token (\"ship 1\",0,40). ship_token (\"ship 2\",0,10). ship_token (\"ship 3\",0,30). ship_token (\"ship 4\",0,20). ship_token (\"ship 5\",0,0). ship_token (\"ship 6\",0,0). ship_token (\"ship 7\",0,0). ship_token (\"ship 8\",0,5). ship_token (\"ship 9\",0,10). * Berth_tokens (<_D_,_T2>) berth_token (1,0). berth_token (2,0). berth_token (3,0). * Avail_QC_tokens (<_I_,_T4>) avail_QC_token (1,0). avail_QC_token (2,0). avail_QC_token (3,0). avail_QC_token (4,0). avail_QC_token (5,0). avail_QC_token (6,0). avail_QC_token (7,0). avail_QC_token (8,0). avail_QC_token (9,0). avail_QC_token (10,0). * BAP_rule_tokens (<_R1>_) bap_rule_token (\"_LWL_\"). bap_rule_token (\"_SPT_\"). QCAP_rule_tokens (<_R2>_) qcap_rule_token (\"_LB_\"). * Task_tokens (<_I_,\(D\),container(_K_,_N_\({}_{L}^{I}\)_,_ N_\({}_{UL}^{I}\)_)>) task_token (\"ship 1\",0,container(1,40,30)). task_token (\"ship 1\",0,container(3,50,45)). task_token (\"ship 1\",0,container(5,30,25)). task_token (\"ship 1\",0,container(7,30,45)). task_token (\"ship 1\",0,container(9,55,43)). * [PERSON] et al. (2010) [PERSON]; [PERSON]; [PERSON] A proactive approach for simultaneous berth and quay crane scheduling problem with stochastic arrival and handling time. _Eur. J. Oper. Res._**2010**, _207_, 1327-1340. [CrossRef]
* [PERSON] et al. (2012) [PERSON]; [PERSON]; [PERSON]. Berth allocation with time-dependent physical limitations on vessels. _Eur. J. Oper. Res._**2012**, _216_, 47-56. [CrossRef]
* [PERSON] and [PERSON] (2006) [PERSON]; [PERSON] Quay crane scheduling in container terminals. _Eng. Optim._**2006**, _38_, 723-737. [CrossRef]
* [PERSON] and [PERSON] (2012) [PERSON]; [PERSON]; [PERSON] Modeling and solving rich quay crane scheduling problems. _Comput. Oper. Res._**2012**, _39_, 2063-2078. [CrossRef]
* [PERSON] et al. (2016) [PERSON]; [PERSON]; [PERSON] [PERSON] A Generalized Stochastic Petri Net Approach for Modeling Activities of Human Operators in Intermodal Container Terminals. _IEEE Trans. Autom. Sci. Eng._**2016**, _13_, 1504-1516. [CrossRef]
* [PERSON] and [PERSON] (2006) [PERSON]; [PERSON]. Modeling and Analysis of Container Terminal Logistics System by Extended Generalized Stochastic Petri Nets. In Proceedings of the 2006 IEEE International Conference on Service Operations and Logistics, and Informatics, Shanghai, China, 21-23 June 2006; pp. 310-315. * [PERSON] et al. (2005) [PERSON]; [PERSON]; [PERSON]; [PERSON] A decision support system for operations in a container terminal. _Decis. Support Syst._**2005**, _59_, 309-332. [CrossRef]
* [PERSON] et al. (2012) [PERSON]; [PERSON]; [PERSON] Study on berth planning problem in a container seaport: Using an integrated programming approach. _Comput. Ind. Eng._**2012**, _62_, 119-128. [CrossRef]
* [PERSON] et al. (2015) [PERSON]; [PERSON]; [PERSON] Short-Term Scheduling of Crude-Oil Operations: Enhancement of Crude-Oil Operations Scheduling Using a Petri Net-Based Control-Theoretic Approach. _IEEE Robot. Autom. Mag._**2015**, _22_, 64-76. [CrossRef]
* [PERSON] et al. (2014) [PERSON]; [PERSON]; [PERSON]; [PERSON] Petri Net-Based Polynomially Complex Approach to Optimal One-Wafer Cyclic Scheduling of Hybrid Multi-Cluster Tools in Semiconductor Manufacturing. _IEEE Trans. Syst. Man Cybern. Syst._**2014**, _44_, 1598-1610. [CrossRef]
* [PERSON] and [PERSON] (2012) [PERSON]; [PERSON] Schedulability Analysis and Optimal Scheduling of Dual-Arm Cluster Tools with Residency Time Constraint and Activity Time Variation. _IEEE Trans. Autom. Sci. Eng._**2012**, \(9\), 203-209. * [PERSON] (2011) [PERSON]. Decision support for yard capacity, fleet composition, truck substitutability, and scalability issues at seaport container terminals. _Transp. Res. E_**2011**, _47_, 85-103. [CrossRef]
* [PERSON] and [PERSON] (2003) [PERSON]; [PERSON] Berth scheduling by simulated annealing. _Transp. Res. B_**2003**, _37_, 541-560. [CrossRef]
* [PERSON] and [PERSON] (2007) [PERSON]; [PERSON] A stochastic beam search for the berth allocation problem. _Decis.