Designing maximally permissive deadlock avoidance policies for sequential resource allocation systems through classification theory | IEEE Conference Publication | IEEE Xplore