Situation Representation and Strategic Reasoning Method of Hybrid Game System Based on Modified Hybrid Stochastic Timed Petri Net | IEEE Journals & Magazine | IEEE Xplore