For the most recent entries see the Petri Nets Newsletter.

Formal specification of multi-agent systems: approach based on meta-models and high-level Petri-nets -- case study of a transportation systems --.

Nicolas, Jean-Christophe; Benasser, Ahmer; Czesnalowicz, Eric; Aboua´ssa, H.

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.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography