Stav dette: Setting decision process optimization into stochastic vs. petri nets contexts