Performability modeling of an automated manufacturing system with deterministic and stochastic Petri nets | IEEE Conference Publication | IEEE Xplore