Stochastic Petri Nets for very short-term wind speed modeling | IEEE Conference Publication | IEEE Xplore