An admissible-behaviour-based analysis of the deadlock in Petri-net controllers