Modeling of Cooperative Navigation in Pervasive E-learning Applications Using (max, plus) Algebra

This paper presents a new approach based on (max, plus) algebra to model cooperative navigation in pervasive e- learning applications. This modeling approach is appropriate for modeling these systems that are governed, on the one hand, by events occurrence in a discrete state space, and on the other hand, by synchronization and parallelism phenomena. In addition, this approach enables to verify in a formal way the model consistency.