Markov decision Petri nets with uncertainty