In this paper we introduce a new modeling paradigm for developing decision process representation associating to any Decision Process Petri net (DPPN) a Kripke structure (KS). The principal characteristics of this model is its ability to represent and analyze the shortest-path properties of a decision process. In this sense, we use a Lypunov-like function as a state-value function for path planning, obtaining as a result new characterizations for nal decision points. We show that the dynamics

more »

... the DPPN can be captured by a KS and, some dynamic properties of a DPPN can be stated in temporal logics. The temporal logic is constructed according to the Lypunov-like function syntax and semantics. Moreover, we consider some results and discuss possible directions for further research.