Authors: Roman Buil, Miquel Angel Piera
Simulation transparency is becoming more crucial in the decision making process when quantitative computer tools are used to justify some strategies. E- governance is one of these areas in which the use of Multi Agent System (MAS) simulation systems could be used to foster e-participation in which citizens could be involved in the design of urban policies that affects their habitat environment. The Colored Petri Net (CPN) formalism is a promising modelling approach to foster simulation transparency by means of state space traceability tools and it has been proven to be useful for modelling system dynamics with concurrent and conflict patterns in more efficient ways. We propose a modeling methodology to represent and analyze a context-aware multi agent-based system, which tends to be highly complex. We introduce CPNs as a method of capturing the dynamics of this contextual change. We define CPNs and a way to apply them in context-aware agent-based systems. We also describe a prototype system that we have developed which translates CPN specification into Repast Simphony agents? behaviour.