Modeling dynamics of concurrent computing systems
2011 - J. L. G. Guirao, F. L. Pelayo, J. C. Valverde
Comput. Math. Appl. 61, 1402-1406 (2011)
This paper presents a very first step on the road to applying the theory of discrete dynamical systems (DDSs) in the analysis of concurrent computing systems. In order to proceed, Petri nets (PNs) are appropriately modeled as DDSs, so defining the corresponding phase space with its metric structure and the evolution operator of the system. We conclude this study by showing results for some identifiable problems.