Modeling and Decision-Making Methods for a Class of Cyber–Physical Systems Based on Modified Hybrid Stochastic Timed Petri Net | IEEE Journals & Magazine | IEEE Xplore