Colored decision process Petri nets: modeling, analysis and stability
International Journal of Applied Mathematics and Computer Science, Tome 15 (2005) no. 3, p. 405.

Voir la notice de l'article dans European Digital Mathematics Library

In this paper we introduce a new modeling paradigm for developing a decision process representation called the Colored Decision Process Petri Net (CDPPN). It extends the Colored Petri Net (CPN) theoretic approach including Markov decision processes. CPNs are used for process representation taking advantage of the formal semantic and the graphical display. A Markov decision process is utilized as a tool for trajectory planning via a utility function. The main point of the CDPPN 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 CDPPN theoretic notions of equilibrium and stability are those of the CPN. In the trajectory-dynamic properties framework, we optimize the utility function used for trajectory planning in the CDPPN by a Lyapunov-like function, obtaining as a result new characterizations for final decision points (optimum point) and stability. Moreover, we show that CDPPN mark-dynamic and Lyapunov trajectory-dynamic properties of equilibrium, stability and final decision points converge under certain restrictions. We propose an algorithm for optimum trajectory planning that makes use of the graphical representation (CPN) and the utility function. Moreover, we consider some results and discuss possible directions for further research.
Classification : 68Q85, 93C83, 90C40
Mots-clés : game theory, optimization, decision process, colored decision process Petri nets, colored Petri nets, Lyapunov methods, stability 
@article{IJAMCS_2005__15_3_207754,
     author = {Julio Clempner},
     title = {Colored decision process {Petri} nets: modeling, analysis and stability},
     journal = {International Journal of Applied Mathematics and Computer Science},
     pages = {405},
     publisher = {mathdoc},
     volume = {15},
     number = {3},
     year = {2005},
     zbl = {1169.93371},
     language = {en},
     url = {https://geodesic-test.mathdoc.fr/item/IJAMCS_2005__15_3_207754/}
}
TY  - JOUR
AU  - Julio Clempner
TI  - Colored decision process Petri nets: modeling, analysis and stability
JO  - International Journal of Applied Mathematics and Computer Science
PY  - 2005
SP  - 405
VL  - 15
IS  - 3
PB  - mathdoc
UR  - https://geodesic-test.mathdoc.fr/item/IJAMCS_2005__15_3_207754/
LA  - en
ID  - IJAMCS_2005__15_3_207754
ER  - 
%0 Journal Article
%A Julio Clempner
%T Colored decision process Petri nets: modeling, analysis and stability
%J International Journal of Applied Mathematics and Computer Science
%D 2005
%P 405
%V 15
%N 3
%I mathdoc
%U https://geodesic-test.mathdoc.fr/item/IJAMCS_2005__15_3_207754/
%G en
%F IJAMCS_2005__15_3_207754
Julio Clempner. Colored decision process Petri nets: modeling, analysis and stability. International Journal of Applied Mathematics and Computer Science, Tome 15 (2005) no. 3, p. 405. https://geodesic-test.mathdoc.fr/item/IJAMCS_2005__15_3_207754/