A stochastic game net‐based model for effective decision‐making in smart environments. (27th April 2016)