Modeling the dynamics of concurrent computing systems

Authors:
Juan L. G. Guirao;Fernando L. Pelayo;Jose C. Valverde
Affiliations:
Department of Applied Mathematics, Polytechnic University of Cartagena, Spain;Department of Computing Systems, University of Castilla - La Mancha, Spain;Department of Mathematics, University of Castilla - La Mancha, Spain
Venue:
Computers & Mathematics with Applications
Year:
2011

Citing 1
Cited 4

Denotational semantics for programming languages, balanced quasi-metrics and fixed points

International Journal of Computer Mathematics - Recent Advances in Computational and Applied Mathematics in Science and Engineering

Module-based architecture for a periodic job-shop scheduling problem

Computers & Mathematics with Applications
Notes on "Modeling the dynamics of concurrent computing systems"

Computers & Mathematics with Applications
A layer-based method for rapid software development

Computers & Mathematics with Applications
Petri Nets and Discrete Events Systems

International Journal of Software Science and Computational Intelligence

Quantified Score

Hi-index	0.09

Visualization

Abstract

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.