|
[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
|