N. =. Const-int, const int MAX_PREF = 10; 4 const int D12 = 1; const int D23 = 8; const int D34 = 2; 5 const int D14 = 4; const int D13 = 4; const int D24 = 3; 6 const int MAX_DIST=(D12+D23+D34+D14+D13+D24); const double EVAP_RATE; 7 const int N_CYCLES, global p23 : [MIN_PREF..MAX_PREF] init MIN_PREF; 13 global p24 : [MIN_PREF..MAX_PREF] init MIN_PREF; 14 global p34 : [MIN_PREF..MAX_PREF] init MIN_PREF, p.12

S. Olariu and A. Zomaya, Handbook of Bioinspired Algorithms and Applications, 2007.
DOI : 10.1201/9781420035063

T. Heimfarth, K. Danne, and F. Rammig, An OS for Mobile Ad hoc Networks Using Ant Based Hueristic to Distribute Mobile Services, Joint International Conference on Autonomic and Autonomous Systems and International Conference on Networking and Services, (icas-isns'05), p.77, 2005.
DOI : 10.1109/ICAS-ICNS.2005.22

P. Janacik, T. Heimfarth, and F. Rammig, Emergent Topology Control Based on Division of Labour in Ants, 20th International Conference on Advanced Information Networking and Applications, Volume 1 (AINA'06), pp.733-740, 2006.
DOI : 10.1109/AINA.2006.169

S. Camazine, J. Deneubourg, and N. Franks, Self-Organization in Biological Systems, 2001.

G. Lewes, Problems of Life and Mind, 2004.
DOI : 10.1037/12355-000

D. Wolf, T. Holvoet, and T. , Emergence Versus Self-Organisation: Different Concepts but Promising When Combined, Self Org. Sys.: Method. and Applications, vol.3464, pp.1-15, 2005.
DOI : 10.1007/11494676_1

M. Vardi, Automatic verification of probabilistic concurrent finite state programs, 26th Annual Symposium on Foundations of Computer Science (sfcs 1985), pp.327-338, 1985.
DOI : 10.1109/SFCS.1985.12

D. L. Applegate, R. E. Bixby, V. Chvátal, and W. J. Cook, The Traveling Salesman Problem: A Computational Study, 2006.

M. Dorigo and L. Gambardella, Ant colony system: a cooperative learning approach to the traveling salesman problem, IEEE Transactions on Evolutionary Computation, vol.1, issue.1, pp.53-66, 1997.
DOI : 10.1109/4235.585892

H. Hansson and B. Jonsson, A logic for reasoning about time and reliability, Formal Aspects of Computing, vol.2, issue.1, pp.512-535, 1994.
DOI : 10.1007/BF01211866

M. Ben-ari, Z. Manna, and A. Pnueli, The temporal logic of branching time, Acta Informatica, vol.20, issue.4, pp.207-226, 1983.
DOI : 10.1007/BF01257083

S. Balasubramaniam, D. Botvich, and . Donnelly, Biologically Inspired Self-Governance and Self-Organisation for Autonomic Networks, 1st Intl Conf. on Bio-Inspired Mod. of Net., Inform. and Comp. Sys, pp.1-30, 2006.

A. Stauffer, D. Mange, J. Rossier, and F. Vannel, Bio-inspired self-organizing cellular systems, Biosystems, vol.94, issue.1-2, pp.164-169, 2008.
DOI : 10.1016/j.biosystems.2008.05.022

G. P?un, Computing with Membranes, Journal of Computer and System Sciences, vol.61, issue.1, pp.108-143, 2000.
DOI : 10.1006/jcss.1999.1693

G. Shang, Z. Lei, and Z. Fengting, Solving Traveling Salesman Problem by Ant Colony Optimization Algorithm with Association Rule, Third International Conference on Natural Computation (ICNC 2007), pp.693-698, 2007.
DOI : 10.1109/ICNC.2007.675

Y. Li and S. Gong, Dynamic ant colony optimisation for TSP, The International Journal of Advanced Manufacturing Technology, vol.22, issue.7-8, pp.528-533, 2003.
DOI : 10.1007/s00170-002-1478-9

A. Ugur and D. Aydin, An interactive simulation and analysis software for solving TSP using Ant Colony Optimization algorithms, Advances in Engineering Software, vol.40, issue.5, pp.341-349, 2009.
DOI : 10.1016/j.advengsoft.2008.05.004