C. A. Petri, Communication with Automats, 1962.

J. Fougères, A Cognitive Architecture of Communicating Agents in Complex Information Systems, 2002.

J. Ferber, The Multi Agent System: Towards a Collective Intelligence, Inter-Editions, 1995.

E. Tagne, C. Viho, E. Tonye, and A. , A Modeling of Architecture of System Multi Agent with Petri Nets, IEEE SITIS, 2005.

G. Quesnel, Formal and Operational Approach of Multi Modeling and Simulation of Complex Systems: Contributions for Modeling of Multi Agent Systems, 2006.

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, pp.59-70, 2004.

P. Caspi, Elements for the Choice of Methods of Development of Critical Software Systems, 2005.

T. Murata, P. C. Nelson, and J. Yim, A Predicate Transition Net Model for Multiple Agent Planning, Information Sciences, vol.57, p.90087, 1991.

A. Idani, B/UML: Setting in Relation of B Specification and UML Description for Help of External Validation of Formal Development in B, 2005.

G. W. Brams, Petri Nets: Theory and Practical, vol.1, 1982.

M. Yoo, A Componential For Modeling of Cooperative Agents and Its Validation, 1999.

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

A. Seghrouchni, Protocol Engineering for Multi-Agents Interaction, 9th European Workshop on Modeling Autonomous Agents in Multi-Agents World (MAAMAW'99), 1999.

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), 1998.

J. Ferber and O. Gutknecht, Acts of 8eJFIADSMA, Speak French Days of Distributed Artificial Intelligence and Multi-Agents Sytem, 2000.

R. Duboz, E. Ramat, and G. Quesnel, Acts of French Speaker Twelve Days about Multi-Agents Systems (JFSMA), 2004.

B. Sibertin, High-Level Petri Nets with Data Structure: Petri Nets and Applications, 1985.

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, issue.4, pp.349-355, 2002.

A. Suna, CLAIM and SyMPA: A Environment for Programming of Intelligent and Mobiles Agents, 2005.

C. Maier and D. , Moldt: Object Coloured Petri Nets -A Formal Technique for Object Oriented Modeling. Concurrent Object-Oriented Programming and Petri Nets, Lecture Notes in Computer Science, pp.406-427, 2001.

M. Scott, Working Notes of the Workshop on Specify and Implementing Conversation Policies, pp.19-28, 1999.