@inproceedings{9b7d876b4f3343e9b5701511c1ca59ad,
title = "A tool for the modelling and simulation of ecological systems based on grid systems",
abstract = "Grid Systems is a formalism for modelling population and ecosystem dynamics that combines features of membrane computing, such as rewrite rules and maximal parallelism, with a representation of space similar to that of Cellular Automata. Moreover, Grid Systems include features for the description of environmental events and of events that can be associated with frequencies and durations that can be either deterministic or stochastic. The combination of all of these features makes Grid Systems a comprehensive formalism for the modelling and analysis of ecosystems. This tool paper describes the implementation and the features of a simulator for Grid Systems. The simulator is equipped with a graphical user interface for defining and editing models of populations, and for simulating population dynamics and movement. The aim of this tool is to allow modellers to construct and analyse models based on a comprehensive and rigorous formalism such as Grid Systems with a friendly interface.",
author = "Suryana Setiawan and Antonio Cerone and Paolo Milazzo",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2015.; 13th International Conference on Software Engineering and Formal Methods, SEFM 2015 ; Conference date: 07-09-2015 Through 08-09-2015",
year = "2015",
doi = "10.1007/978-3-662-49224-6_17",
language = "English",
isbn = "9783662492239",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "198--212",
editor = "Domenico Bianculli and Radu Calinescu and Bernhard Rumpe",
booktitle = "Software Engineering and Formal Methods - SEFM 2015 Collocated Workshops",
address = "Germany",
}