Performance evaluation of automated manufacturing systems using generalized stochastic Petri nets | IEEE Journals & Magazine | IEEE Xplore