Improved cellular models with parallel cell-DEVS

The Cell-DEVS paradigm allows the specification of executable cell spaces with timing delays. This approach allows easy definition of complex behavior in physical systems, which can be verified formally. The original definition of this formalism can lead to serialization and incorrect execution when...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autor principal:	Wainer, Gabriel A.
Publicado:	2000
Materias:	Cell-devs models Devs paradigm Discrete event simulation Modelling methodologies Parallel devs models
Acceso en línea:	https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_07406797_v17_n2_p73_Wainer http://hdl.handle.net/20.500.12110/paper_07406797_v17_n2_p73_Wainer
Aporte de:	Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

id	paper:paper_07406797_v17_n2_p73_Wainer
record_format	dspace
spelling	paper:paper_07406797_v17_n2_p73_Wainer2023-06-08T15:44:36Z Improved cellular models with parallel cell-DEVS Wainer, Gabriel A. Cell-devs models Devs paradigm Discrete event simulation Modelling methodologies Parallel devs models The Cell-DEVS paradigm allows the specification of executable cell spaces with timing delays. This approach allows easy definition of complex behavior in physical systems, which can be verified formally. The original definition of this formalism can lead to serialization and incorrect execution when the models are considered to execute in parallel. The extension presented here permits parallel specification of these models, and an associated simulation mechanism allows their execution. Cell-DEVS models include timing delay constructions, whose behavior was extended, and whose use is exemplified in detail. These new constructions improve the definition of complex timing behavior, reducing the complexity of the rules needed to represent it. In addition, neighborhood sizes can be reduced, cutting down the overhead involved, and allowing a higher number of quiescent cells in the model. Copyright © 2000 The Society for Computer Simulation International. Fil:Wainer, G.A. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. 2000 https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_07406797_v17_n2_p73_Wainer http://hdl.handle.net/20.500.12110/paper_07406797_v17_n2_p73_Wainer
institution	Universidad de Buenos Aires
institution_str	I-28
repository_str	R-134
collection	Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
topic	Cell-devs models Devs paradigm Discrete event simulation Modelling methodologies Parallel devs models
spellingShingle	Cell-devs models Devs paradigm Discrete event simulation Modelling methodologies Parallel devs models Wainer, Gabriel A. Improved cellular models with parallel cell-DEVS
topic_facet	Cell-devs models Devs paradigm Discrete event simulation Modelling methodologies Parallel devs models
description	The Cell-DEVS paradigm allows the specification of executable cell spaces with timing delays. This approach allows easy definition of complex behavior in physical systems, which can be verified formally. The original definition of this formalism can lead to serialization and incorrect execution when the models are considered to execute in parallel. The extension presented here permits parallel specification of these models, and an associated simulation mechanism allows their execution. Cell-DEVS models include timing delay constructions, whose behavior was extended, and whose use is exemplified in detail. These new constructions improve the definition of complex timing behavior, reducing the complexity of the rules needed to represent it. In addition, neighborhood sizes can be reduced, cutting down the overhead involved, and allowing a higher number of quiescent cells in the model. Copyright © 2000 The Society for Computer Simulation International.
author	Wainer, Gabriel A.
author_facet	Wainer, Gabriel A.
author_sort	Wainer, Gabriel A.
title	Improved cellular models with parallel cell-DEVS
title_short	Improved cellular models with parallel cell-DEVS
title_full	Improved cellular models with parallel cell-DEVS
title_fullStr	Improved cellular models with parallel cell-DEVS
title_full_unstemmed	Improved cellular models with parallel cell-DEVS
title_sort	improved cellular models with parallel cell-devs
publishDate	2000
url	https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_07406797_v17_n2_p73_Wainer http://hdl.handle.net/20.500.12110/paper_07406797_v17_n2_p73_Wainer
work_keys_str_mv	AT wainergabriela improvedcellularmodelswithparallelcelldevs
_version_	1768543376467034112

Improved cellular models with parallel cell-DEVS

Ejemplares similares