Analysis of Manufacturing Systems Based on Augmented Marked Graphs | IEEE Conference Publication | IEEE Xplore