Colored decision process Petri nets: modeling, analysis and stability

Julio Clempner

International Journal of Applied Mathematics and Computer Science (2005)

  • Volume: 15, Issue: 3, page 405-420
  • ISSN: 1641-876X

Abstract

top
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.

How to cite

top

Clempner, Julio. "Colored decision process Petri nets: modeling, analysis and stability." International Journal of Applied Mathematics and Computer Science 15.3 (2005): 405-420. <http://eudml.org/doc/207754>.

@article{Clempner2005,
abstract = {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.},
author = {Clempner, Julio},
journal = {International Journal of Applied Mathematics and Computer Science},
keywords = {game theory; optimization; decision process; colored decision process Petri nets; colored Petri nets; Lyapunov methods; stability},
language = {eng},
number = {3},
pages = {405-420},
title = {Colored decision process Petri nets: modeling, analysis and stability},
url = {http://eudml.org/doc/207754},
volume = {15},
year = {2005},
}

TY - JOUR
AU - Clempner, Julio
TI - Colored decision process Petri nets: modeling, analysis and stability
JO - International Journal of Applied Mathematics and Computer Science
PY - 2005
VL - 15
IS - 3
SP - 405
EP - 420
AB - 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.
LA - eng
KW - game theory; optimization; decision process; colored decision process Petri nets; colored Petri nets; Lyapunov methods; stability
UR - http://eudml.org/doc/207754
ER -

References

top
  1. Bellman R.E. (1957): Dynamic Programming. - Princeton, N.J.: Princeton Univ. Press. 
  2. Clempner J. (2005): Optimizing the decision process on Petrinets via a Lyapunov-like function. - Int. J. Pure Appl.Math., Vol. 19, No. 4, pp. 477-494. Zbl1111.91006
  3. Clempner J., Medel J. and Carsteanu A. (2005): Extending games with local and robust Lyapunov equilibrium and stability condition.- Int. J. Pure Appl. Math., Vol. 19, No. 4, pp. 441-454. Zbl1151.91328
  4. Howard R.A. (1960): Dynamic Programming and Markov Processes. - Cambridge: MIT Press. Zbl0091.16001
  5. Jensen K. (1981): Coloured Petri Nets and the Invariant Method. - North-Holland Publishing Company. Zbl0475.68035
  6. Jensen K. (1986): Coloured Petri Nets. - Tech. Rep., Computer Science Department, Aarhus University, Denmark. Zbl0632.68058
  7. Jensen K. (1994): An Introduction to the Theoretical Aspects of Coloured Petri Nets. - Lecture Notes in Computer Science, Vol. 803, Berlin: Springer. 
  8. Jensen K. (1997a): Coloured Petri Nets, Vol. 1. - Berlin: Springer. Zbl0632.68058
  9. Jensen K. (1997b): Coloured Petri Nets, Vol. 2. - Berlin: Springer. Zbl0632.68058
  10. Kalman R.E. and Bertram J.E. (1960): Control system analysis and design via the 'Second Method' of Lyapunov. - J. Basic Eng., Vol. 82, pp. 371-393. 
  11. Lakshmikantham V., Leela S. and Martynyuk A.A. (1990): Practical Stability of Nonlinear Systems. - Singapore: World Scientific. Zbl0753.34037
  12. Lakshmikantham V., Matrosov V.M. and Sivasundaram S. (1991): Vector Lyapunov Functions and Stability Analysis of Nonlinear Systems. - Dordrecht: Kluwer. Zbl0721.34054
  13. Massera J.L. (1949): On Lyapunoff's coonditions of stability- Ann. Math., Vol. 50, No. 3, pp. 705-721. Zbl0038.25003
  14. Murata T., (1989): Petri Nets Properties, analysis and applications. - Proc. IEEE, Vol. 77, No. 4, pp. 541-580. 
  15. Passino K.M., Burguess K.L. and Michel A.N. (1995): Lagrange stability and boundedness of discrete event systems. - J. Discr. Event Syst. Theory Appl., Vol. 5, pp. 383-403. Zbl0849.93051
  16. Puterman M.L. (1994): Markov Decision Processes: Discrete Stochastic Dynamic Programming. - New York: Wiley. Zbl0829.90134

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.