E-commerce systems are important systems widely used by internauts. To automate most of commerce time-consuming sta- ges of the buying process, software agent technologies proved to be efficient when employed in different e-commerce transaction stages. The FIPA Contract Net Protocol was developed to facilitate contract negotiation in Multi-Agent Systems, it is therefore important to analyse the protocol to ensure that it terminates correctly and satisfies other important properties. In this paper we focus on agent interactions in e-commerce oriented automated negotiation based on FIPA Contract Net Protocol.
E-commerce, FIPA Contract Net, negotiation, Multi-agent system, colored Petri net.