The deadlock problem in the control of Flexible Manufacturing Systems: An overview of the Petri net approach | IEEE Conference Publication | IEEE Xplore