Discrete events cellular models with explicit delays

Abstract

This work is devoted to introduce several formal descriptions used to model and simúlate cell-shaped spaces. The paradigms are based on the DEVS and Cellular Autómata formalisms, combined with transport delays and inertial delays. The speciñcation formalisms have been deñned for binary or three-states cell spaces, and have been extended to other domains. The delay concepts belong to the digital circuits domain, and have been adapted to the Cellular Autómata paradigm, being one of the main contributions of the present work. The formalims allow the automatic deñnition for the cell spaces, easing the model veriñcation, allowing the cost-effective development of simulators. A tool was built with the goal to implement the formalism, allowing to verify em- pirically the performance of the proposed Solutions.