An augmented Petri net for modeling and control of assembly tasks with uncertainties | IEEE Conference Publication | IEEE Xplore