Portal de Periódicos da CAPES

Deadlock control of autonomous vehicle storage and retrieval systems via coloured timed Petri nets and digraph tools

2008; Taylor & Francis; Volume: 47; Issue: 12 Linguagem: Inglês

10.1080/00207540701832426

1366-588X

Sihan He, Luo Jian,

Formal Methods in Verification

This paper addresses the deadlock control problem for the autonomous vehicle storage and retrieval system (AVS/RS). For an AVS/RS with several autonomous vehicles running in bi-direction, deadlock control is one of the key issues in the implementation of AVS/RS. The cycle-deadlock is the main type of deadlock in AVS/RS. In the paper, the dynamic model of AVS/RS is investigated by using coloured timed Petri nets (CTPN). Based on the CTPN model, a route digraph is built to detect cycle-deadlock in AVS/RS with digraph tools; the necessary and sufficient conditions of deadlock-free are established. Moreover deadlock-free control policies are proposed, the critical state in deadlock free is also identified and FCFS policy is applied to solve it. Finally, a case study is given to validate the policies.