E-commerce systems are important systems widely used by internauts. To automate most of commerce time-consuming stages of the buying process, software agent technologies proved to be efficient when employed in different e-commerce transaction stages. Furthermore, ecommerce systems should ensure correctness properties and a given level of quality of service that meets users expectancy. Therefore, we need to analyze such systems before implementation. This paper presents a high level Petri net modeling and analysis approach for e-commerce systems based on multi-agent technologies.
E-commerce, Modeling, Multi-agent system, Hierarchical colored Petri net.