In: Proceedings of the second IEEE International Conference on Systems, Man and Cybernetics (SMC'02), October 6-9, 2002, Hammamet, Tunisia, Volume 5. IEEE Computer Society Press, October 2002.
Abstract: The purpose of this paper is to present a formal approach for specification, analysis and performance evaluation of multi-agent systems (MAS). Such approach is based on jointly uses of meta-models, based on roles and organizations notions, and high-level Petri nets. The combination of high-level Petri nets and ML language into Design/CPN tool, allows as to obtain directly executable models for simulation and performance evaluation. All the concepts of this approach are illustrated by a case study concerning the use of the agent's paradigm for the modelling and formal specification of a multi-modal platform associating a combined rail-road transportation systems.