TY - JOUR
T1 - Decision process petri nets
T2 - Analysis and optimization
AU - Konigsberg, Zvi Retchkiman
AU - Clempner, Julio
PY - 2005/9
Y1 - 2005/9
N2 - In this paper we introduce a new modeling paradigm for developing decision process representation called Decision Process Petri Nets (DPPN). It extends the place-transitions Petri net theoretic approach by including the Markov decision process. Place-transitions Petri nets (PN) are used for process representation taking advantage of the formal semantic and the graphical display. Markov decision processes is utilized as a tool for trajectory planning via an utility function. The main point of the DPPN is its ability to represent the mark-dynamic and trajectory-dynamic properties of a decision process. Within the mark-dynamic properties framework we show that the DPPN theoretic notions of equilibrium and stability are those of the place-transitions Petri net. In the trajectory-dynamic properties framework, we optimized the utility function used for trajectory planning in the DPPN via a Lyapunov like function, obtaining as a result new characterizations for final decision points (optimum point) and stability. Moreover, we show that the DPPN mark-dynamic and Lyapunov trajectory-dynamic properties of equilibrium, stability an final decision points (optimum point) converge under certain restrictions. We propose an algorithm for optimum trajectory planning, that makes use of the graphical representation of the place-transitions Petri net and the utility function. The paradigm is applied to one player's games, where some well known results are presented but from a different perspective. Business process modeling is also considered. This work makes firm steps toward the modelling and analysis of problems, in the fields of decision process systems and theory of games, using DPPN.
AB - In this paper we introduce a new modeling paradigm for developing decision process representation called Decision Process Petri Nets (DPPN). It extends the place-transitions Petri net theoretic approach by including the Markov decision process. Place-transitions Petri nets (PN) are used for process representation taking advantage of the formal semantic and the graphical display. Markov decision processes is utilized as a tool for trajectory planning via an utility function. The main point of the DPPN is its ability to represent the mark-dynamic and trajectory-dynamic properties of a decision process. Within the mark-dynamic properties framework we show that the DPPN theoretic notions of equilibrium and stability are those of the place-transitions Petri net. In the trajectory-dynamic properties framework, we optimized the utility function used for trajectory planning in the DPPN via a Lyapunov like function, obtaining as a result new characterizations for final decision points (optimum point) and stability. Moreover, we show that the DPPN mark-dynamic and Lyapunov trajectory-dynamic properties of equilibrium, stability an final decision points (optimum point) converge under certain restrictions. We propose an algorithm for optimum trajectory planning, that makes use of the graphical representation of the place-transitions Petri net and the utility function. The paradigm is applied to one player's games, where some well known results are presented but from a different perspective. Business process modeling is also considered. This work makes firm steps toward the modelling and analysis of problems, in the fields of decision process systems and theory of games, using DPPN.
KW - Decision process Petri nets
KW - Games
KW - Lyapunov methods
KW - Optimization
KW - Stability
UR - http://www.scopus.com/inward/record.url?scp=31344477502&partnerID=8YFLogxK
M3 - Artículo
SN - 1061-5369
VL - 13
SP - 245
EP - 264
JO - Neural, Parallel and Scientific Computations
JF - Neural, Parallel and Scientific Computations
IS - 3-4
ER -