A General Overview of Formal Languages for Individual-Based Modelling of Ecosystems
Logic in Computer Science
2019-01-31 v1
Abstract
Various formal languages have been proposed in the literature for the individual-based modelling of ecological systems. These languages differ in their treatment of time and space. Each modelling language offers a distinct view and techniques for analyzing systems. Most of the languages are based on process calculi or P systems. In this article, we present a general overview of the existing modelling languages based on process calculi. We also discuss, briefly, other approaches such as P systems, cellular automata and Petri nets. Finally, we show advantages and disadvantages of these modelling languages and we propose some future research directions.
Keywords
Cite
@article{arxiv.1901.10820,
title = {A General Overview of Formal Languages for Individual-Based Modelling of Ecosystems},
author = {Mauricio Toro},
journal= {arXiv preprint arXiv:1901.10820},
year = {2019}
}
Comments
arXiv admin note: text overlap with arXiv:1610.08171 by other authors