A framework to design and solve Markov Decision Well-formed Net models