The Use of Petri Nets for the Performance Evaluation of Robotic Welding Cells | IEEE Conference Publication | IEEE Xplore