Modeling and Analysis of Cyber–Physical System Based on Object-Oriente Generalized Stochastic Petri Net | IEEE Journals & Magazine | IEEE Xplore