论文信息 - Notes on "Modeling the dynamics of concurrent computing systems"

Notes on "Modeling the dynamics of concurrent computing systems"

This work presents a further step in the line of applying the theory of dynamical systems to the analysis of concurrent computing systems. In this sense, the corresponding phase space of the dynamical system modeling a Petri net is endowed with an original quasi-pseudometric. This allows one to consider quasi-pseudoperiodic orbits, which provide a tool to control the evolution of the system.

Jose C. Valverde | Fernando López Pelayo

[1] Christiane Hespel,et al. Weighted Petri nets and polynomial dynamical systems , 2006 .

[2] J. W. de Bakker,et al. A Metric Approach to Control Flow Semantics , 1996 .

[3] Juan Luis García Guirao,et al. Modeling the dynamics of concurrent computing systems , 2011, Comput. Math. Appl..

[4] W. A. Wilson. On Quasi-Metric Spaces , 1931 .

[5] Salvador Romaguera,et al. Denotational semantics for programming languages, balanced quasi-metrics and fixed points , 2008, Int. J. Comput. Math..