In this paper we enrich FIEVeL (a modelling language for institutions amenable to model checking) with new constructs to describe norms and sanctions. Moreover, we present a specification language to reason about the effectiveness of norms and sanctions in shaping agent interactions. Finally we show that when properties of artificial institutions reflect certain interpretations of norms of huma...

In this paper we present the main aspects of the problem of simulation of a supply chain using an agent-based system. It is emphasized that the difference with other simulation models is that the principal concept of the simulation environment is the event concept. Agents are interacting via action/events, these concepts being introduced previously by the AOR modeling language. The configuratio...

Crowd stampedes and evacuation induced by panic caused by emergences often lead to fatalities as people are crushed, injured, trampled or even dead. Such phenomena may be triggered in life-threatening situations such as fires, explosions in crowded buildings. Emergency evacuation simulation has recently attracted the interest of a rapidly increasing number of scientists. This paper presents an ...

The phenomenon of brain drain, that is the emigration highly skilled people, has many undesirable effects, particularly for developing countries. In this study, an agent-based model developed to understand dynamics such emigration. We hypothesise people's decisions are based on several factors including overall economic and social difference between home host countries, ability capacity obtain ...