Formal Modeling of Temporal Interaction Aspects in Multi-Agent Systems
作者： Djamila Boukredera , Ramdane Maamri
DOI:
关键词:
摘要:
thinkmind.org参考文章(16)
Shujuan Ji, Qijia Tian, Yongquan Liang, A Petri-Net-Based Modeling Framework for Automated Negotiation Protocols in Electronic Commerce pacific rim international conference on multi-agents. pp. 324- 336 ,(2009) , 10.1007/978-3-642-03339-1_26
Jonathan Billington, Amar Kumar Gupta, Guy Edward Gallasch, Modelling and Analysing the Contract Net Protocol - Extension Using Coloured Petri Nets Formal Techniques for Networked and Distributed Systems – FORTE 2008. pp. 169- 184 ,(2008) , 10.1007/978-3-540-68855-6_11
Fu-Shiung Hsieh, Automated negotiation based on contract net and petri net electronic commerce and web technologies. pp. 148- 157 ,(2005) , 10.1007/11545163_15
Kurt Jensen, Lars M. Kristensen, Coloured Petri Nets: Modelling and Validation of Concurrent Systems ,(2009)
Nicola Dragoni, Mauro Gaspari, Davide Guidi, An ACL for Specifying Fault-Tolerant Protocols Lecture Notes in Computer Science. ,vol. 3673, pp. 237- 248 ,(2005) , 10.1007/11558590_24
W.L. Yeung, Behavioral modeling and verification of multi-agent systems for manufacturing control Expert Systems With Applications. ,vol. 38, pp. 13555- 13562 ,(2011) , 10.1016/J.ESWA.2011.04.067
Changyou Liu, Haiyan Wang, An Improved Contract Net Protocol Based on Concurrent Trading Mechanism 2011 Fourth International Symposium on Computational Intelligence and Design. ,vol. 2, pp. 318- 321 ,(2011) , 10.1109/ISCID.2011.182
M.A. Piera, G. Mušič, Original Articles: Coloured Petri net scheduling models: Timed state space exploration shortages Mathematics and Computers in Simulation. ,vol. 82, pp. 428- 441 ,(2011) , 10.1016/J.MATCOM.2010.10.014
F.D.J Bowden, A brief survey and synthesis of the roles of time in petri nets Mathematical and Computer Modelling. ,vol. 31, pp. 55- 68 ,(2000) , 10.1016/S0895-7177(00)00072-8
Marc-Philippe Huget, James Odell, Representing Agent Interaction Protocols with Agent UML adaptive agents and multi-agents systems. pp. 1244- 1245 ,(2004) , 10.1109/AAMAS.2004.230