TXStates: Stream X_Machines in NetLogo

NetLogo is an excellent platform independent environment for modelling social and natural phenomena as multi-agent systems with a great number of agents. The NetLogo platform was developed by Uri Wilensky in 1999 and is under continuous development at the CCL.  

Although the platform offers support for reactive agent systems, modelling more complex agents is somewhat hard. The TSTATES DSL tries to extend NetLogo by providing a domain specific language to facilitate encoding and execution of agents (turtles) using Stream X-Machines. TXSTATES works with NetLogo version 5.0 and above, since it heavily depends on the notion of Tasks.

TXSTATES DSL Code and Manual

The nls file for the DSL can be found here. This has to be "included" in your nlogo file to use TXSTATES. It is in a stable form, but new features are under development as a number of extensions that are planned for implementation. The TXSTATES Manual describes how to use the DSL in your models.

Simulation Scenarios using TXSTATES

All the necessary files for running the simulation scenarios are included in a corresponding zip file. Simply download, unzip and run in NetLogo vesrion 5 and above.

• The Japanese Bees simulation, models the behaviour of Japanese bees in a Hive, under the presence of a Giant Hornet scout. The scenario is described in the ICAART 2015 paper (found below).

Relevant Publications

(In case you have used and want to refer to the work presented above)

• Ilias Sakellariou, Dimitris Dranidis, Marina Ntika, and Petros Kefalas. "From Formal Modelling to Agent Simulation Execution and Testing". In: ICAART 2015 - Proceedings of the 7th International Conference on Agents and Artificial Intelligence, Lisbon, Portugal. SciTePress, Jan. 2015.
• Please note that this page is still under construction.

Other Links

• The NetLogo Platform.
• The excellent Jose Vidal's page with NetLogo Models.

---

For further questions, comments, suggestions, bug reports etc. please contact: Ilias Sakellariou

---