Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Modelling of Multi-Agent Systems: Experiences with Membrane Computing
  and Future Challenges   Formal modelling of Multi-Agent Systems (MAS) is a challenging task due to
high complexity, interaction, parallelism and continuous change of roles and
organisation between agents. In this paper we record our research experience on
formal modelling of MAS. We review our research throughout the last decade, by
describing the problems we have encountered and the decisions we have made
towards resolving them and providing solutions. Much of this work involved
membrane computing and classes of P Systems, such as Tissue and Population P
Systems, targeted to the modelling of MAS whose dynamic structure is a
prominent characteristic. More particularly, social insects (such as colonies
of ants, bees, etc.), biology inspired swarms and systems with emergent
behaviour are indicative examples for which we developed formal MAS models.
Here, we aim to review our work and disseminate our findings to fellow
researchers who might face similar challenges and, furthermore, to discuss
important issues for advancing research on the application of membrane
computing in MAS modelling.

10
The categories of this paper are: q-bio
23
The categories of this paper are: solv-int
8
The categories of this paper are: hep-ex
21
The categories of this paper are: adap-org
26
The categories of this paper are: bayes-an
19
The categories of this paper are: eess
7
The categories of this paper are: hep-th
12
The categories of this paper are: nucl-th
24
The categories of this paper are: dg-ga
33
The categories of this paper are: plasm-ph
30
The categories of this paper are: q-alg
25
The categories of this paper are: patt-sol
28
The categories of this paper are: alg-geom
2
The categories of this paper are: math
22
The categories of this paper are: chao-dyn
15
The categories of this paper are: nucl-ex