Home // ICCGI 2012, The Seventh International Multi-Conference on Computing in the Global Information Technology // View article

A Timed Colored Petri-Net-based Modeling for Contract Net Protocol with Temporal Aspects

Authors:
Djamila Boukredera
Ramdane Maamri
Samir Aknine

Keywords: Negotiation protocols; Contract net protocol; Multiagent systems; Timed Colored Petri Nets.

Abstract:
Contract Net Protocol (CNP) is a high level communication protocol. It is one of the most widely used in multi-agent system (MAS) to resolve decentralized task allocation problem. The main aim of the protocol is to facilitate contract negotiation between a manager agent and many contractor agents. A lot of works have been done for the verification of the protocol and its extensions, but there still lacks a formalism for representing temporal interaction aspects which are an essential parameter in the protocol modeling. This paper proposes to use Timed Colored Petri Nets (TCPN) to model correctly and formally this temporal dimension often defined as interaction duration and message deadlines. We will verify by means of simulation techniques and state space analysis important properties namely model correctness, deadline respect, absence of deadlocks and livelocks, absence of dead code, agent terminal states consistency, concurrency and validity.

Pages: 40 to 45

Copyright: Copyright (c) IARIA, 2012

Publication date: June 24, 2012

Published in: conference

ISSN: 2308-4529

ISBN: 978-1-61208-202-8

Location: Venice, Italy

Dates: from June 24, 2012 to June 29, 2012