@article{taibi2012analyzing,
  title={Analyzing E-commerce Multi-Agent systems using hierarchical Colored Petri nets}
  author={Taibi, Meriem and Ioualalen, Malika and Salmi, Nabila}
  journal={ICT Innovations 2012, Web Proceedings ISSN 1857-7288}
  pages={361--370}
  year={2012}
}