Survey on diagnosis of a pick and place benchmark: Special session on diagnosis of Discrete Event Systems: Application on a benchmark | IEEE Conference Publication | IEEE Xplore