A hierarchical decomposition of decision process Petri nets for modeling complex systems

Bellman, R. E. (1957). Dynamic Programming, Princeton University Press, Princeton, NJ.Search in Google Scholar

Bouyakoub, S. and Belkhir, A. (2008). H-SMIL-Net: A hierarchical Petri net model for SMIL documents, 10-th International Conference on Computer Modeling and Simulation, Cambridge, UK, pp. 106-111.Search in Google Scholar

Buchholz, P. (1994). Hierarchical high level Petri nets for complex system analysis, in R. Valette(Ed.) Application and Theory of Petri Nets, Lecture Notes in Computer Science, Vol. 815, Springer, Zaragoza, pp. 119-138.10.1007/3-540-58152-9_8Search in Google Scholar

Clempner, J., Medel, J. and Cârsteanu, A. (2005a). Extending games with local and robust Lyapunov equilibrium and stability condition, International Journal of Pure and Applied Mathematics 19(4): 441-454.Search in Google Scholar

Clempner, J. (2005b). Optimizing the decision process on Petri nets via a Lyapunov-like function, International Journal of Pure and Applied Mathematics 19(4): 477-494.Search in Google Scholar

Clempner, J. (2005c). Colored decision process Petri nets: Modeling, analysis and stability, International Journal of Applied Mathematics and Computer Science 15(3): 405-420.Search in Google Scholar

Dai, X., Li, A. J. and Meng, Z. (2009). Hierarchical Petri net modelling of reconfigurable manufacturing systems with improved net rewriting systems, International Journal of Computer Integrated Manufacturing 22(2): 158-177.10.1080/09511920802014904Search in Google Scholar

Gomes, L. and Barros, J. P. (2005). Structuring and composability issues in Petri nets modeling, IEEE Transactions on Industrial Informatics 1(2): 112-123.10.1109/TII.2005.844433Search in Google Scholar

Hammer, M. and Champy, J. (1993). Reengineering the Corporation: A Manifesto for Business Revolution, HarperBusiness, New York, NY.10.1016/S0007-6813(05)80064-3Search in Google Scholar

Howard, R. A. (1960). Dynamic Programming and Markov Processes, MIT Press, Cambridge, MA.Search in Google Scholar

Huber, P., Jensen, K. and Shapiro, R. (1990). Hierarchies in colored Petri nets, Lecture Notes in Computer Science Vol. 483, Springer-Verlag, pp. 313-341.Search in Google Scholar

Jensen, K. (1992). Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use, Vol. 1: Basic Concepts, EATCS Monographs in Theoretical Computer Science, Springer-Verlag, New York, NY.10.1007/978-3-662-06289-0Search in Google Scholar

Kalman, R. E. and Bertram, J. E. (1960). Control system analysis and design via the second method of Lyapunov, Journal of Basic Engineering 82: 371-393.10.1115/1.3662604Search in Google Scholar

Lakshmikantham, V., Leela, S. and Martynyuk, A. A. (1990). Practical Stability of Nonlinear Systems, World Scientific, Singapore.10.1142/1192Search in Google Scholar

Lakshmikantham, V., Matrosov, V. M. and Sivasundaram, S. (1991). Vector Lyapunov Functions and Stability Analysis of Nonlinear Systems, Kluwer Academic Publishers, Dordrecht.10.1007/978-94-015-7939-1Search in Google Scholar

Murata, T. (1989). Petri nets: Properties, analysis and applications, Proceedings of the IEEE 77 (4): 541-580.10.1109/5.24143Search in Google Scholar

Passino, K. M., Burguess, K. L. and Michel, A. N. (1995). Lagrange stability and boundedness of discrete event systems, Journal of Discrete Event Systems: Theory and Applications 5(5): 383-403.10.1007/BF01439154Search in Google Scholar

Puterman, M. L. (1994). Markov Decision Processes: Discrete Stochastic Dynamic Programming, Wiley, New York, NY.10.1002/9780470316887Search in Google Scholar