[1]   C. A. Petri, “Communication with Automats,” Thesis of Doctorat, Boon University, 1962.

[2]   J. Fougères, “A Cognitive Architecture of Communicating Agents in Complex Information Systems,” Belfort- Montbéliard University of Technologies, 2002.

[3]   J. Ferber, “The Multi Agent System: Towards a Collective Intelligence,” Inter-Editions, Paris, 1995.

[4]   E. Tagne, C. Viho, E. Tonye and Akono, “A Modeling of Architecture of System Multi Agent with Petri Nets,” IEEE SITIS, 2005.

[5]   G. Quesnel, “Formal and Operational Approach of Multi Modeling and Simulation of Complex Systems: Contributions for Modeling of Multi Agent Systems,” Thesis of Doctorate, 2006.

[6]   P. Leitao, A. W. Colombo and F. Restivo. “An Approach to the Formal Specification of Holonic Control Systems. Holonic and Multi-Agent Systems for Manufacturing,” Lecture Notes in Computer Science, Vol. 2744, 2004, pp. 59-70,

[7]   P. Caspi, “Elements for the Choice of Methods of Development of Critical Software Systems,” Research Report N TR-2005-17, November 2005.

[8]   T. Murata, P. C. Nelson and J. Yim. “A Predicate Transition Net Model for Multiple Agent Planning,” Information Sciences, Vol. 57-58, September-December 1991, pp. 361-384. doi:10.1016/0020-0255(91)90087-B

[9]   A. Idani, “B/UML: Setting in Relation of B Specification and UML Description for Help of External Validation of Formal Development in B,” Thesis of Doctorat, The Grenoble University, November 2005.

[10]   G. W. Brams, “Petri Nets: Theory and Practical,” Vol. 1-2, MASSON, Paris, 1982.

[11]   M-J. Yoo, “A Componential For Modeling of Cooperative Agents and Its Validation,” Thesis of Doctorat, The Paris 6 University, 1999.

[12]   A. Seghrouchni, S. Haddad and H. Mazouzi, “Distributed Observation and Analyses Interactions in a Multi Agent System,” Speak French days, IAD and MAS, Nancy, 1998.

[13]   A. Seghrouchni, “Protocol Engineering for Multi-Agents Interaction,” 9th European Workshop on Modeling Autonomous Agents in Multi-Agents World (MAAMAW’99), 1999.

[14]   J. Ferber, “A Meta-Model for the Analysis and Design of Organizations in Multi agent Systems,” Proceeding of the 3rd International Conference on Multi-Agents Systems (ICMAS’98), IEEE CS Press, June, 1998.

[15]   J. Ferber and O. Gutknecht, “For an Operational Semantic of Multi Agent System,” Acts of 8eJFIADSMA, Speak French Days of Distributed Artificial Intelligence and Multi-Agents System, 2000.

[16]   R.Duboz, E. Ramat and G. Quesnel, “Multi Agent Systems and Theory of Monetization and Simulation,” Acts of French Speaker Twelve Days about Multi-Agents Systems (JFSMA), Paris, 2004.

[17]   B. Sibertin, “High-Level Petri Nets with Data Structure: Petri Nets and Applications”, Finland, 1985.

[18]   P. Gruer, V. Hilaire, A. Koukam and K. Cetnarowicz, “A Formal Framework for Multi-Agent Systems Analysis and Design,” Expert Systems with Applications, Vol. 23, No. 4, 2002, pp. 349-355. doi:10.1016/S0957-4174(02)00070-2

[19]   A. Suna, “CLAIM and SyMPA: A Environment for Programming of Intelligent and Mobiles Agents,” Thesis of Doctorat, The Paris 6 University, December 2005.

[20]   C. Maier and Daniel, “Molded: Object Coloured Petri Nets—A Formal Technique for Object Oriented Modeling. Concurrent Object-Oriented Programming and Petri Nets,” Lecture Notes in Computer Science, Springer, 2001, pp. 406-427.

[21]   M. Scott, “On Conversation Policies and the Need for Exceptions,” Working Notes of the Workshop on Specify and Implementing Conversation Policies, Seattle, May 1999, pp. 19-28