Petri Nets based Deadlock-free Scheduling for Flexible Manufacturing Systems | IEEE Conference Publication | IEEE Xplore