Home // ICSEA 2013, The Eighth International Conference on Software Engineering Advances // View article

An Automatic Petri-net generator for Modeling Multi-agent Systems

Authors:
Meriem Taibi
Malika Ioualalen
Riad Abdmeziem

Keywords: Multi-agent system; Colored Petri net; Modeling; Description language.

Abstract:
A multi-agent system can be studied as a concurrent, asynchronous, stochastic and distributed computer system. These characteristics of multi-agent systems make them also a discrete-event dynamic system; it is, therefore, important to analyze the behavior of such system to ensure that it terminates correctly and satisfies other important properties. Several analytical methodologies have been used to study multi-agent system, particularly Petri nets. Petri nets have a well-defined mathematical structure that can be leveraged to provide formal analysis on discrete-event systems. In this work, we propose an automatic transformation to model multi-agent systems using Colored Petri nets.

Pages: 128 to 133

Copyright: Copyright (c) IARIA, 2013

Publication date: October 27, 2013

Published in: conference

ISSN: 2308-4235

ISBN: 978-1-61208-304-9

Location: Venice, Italy

Dates: from October 27, 2013 to October 31, 2013