Appendix belonging to the article 'Deadlock avoidance algorithm for AGVs on a tessellated layout'

This appendix contains the pseudocode of the deadlock avoidance algorithm, and the proofs of Theorems III.2 and III.3.本附录包含死锁避免算法（deadlock avoidance algorithm）的伪代码（pseudocode），以及定理III.2与定理III.3的证明。