The paper deals with the problem of modelling of coalition formation. Petri Nets were suggested as they offer a simple way to graphically represent the coalition formation procedure, they allow to easily make changes in modelling procedure and there are many high-quality modelling tools. The authors do not provide complete modelling procedure, but only show that Petri Nets is a very effective tool for determining and parameter estimation of possible coalitions. An example is considered as well as conclusions about application of Petri Nets for modelling of coalition formation.


Petri nets; coalition formation modelling

Barbuceanu M., Fox M.: COOL: A language for describing coordination in multiagent system. In First International Conference on Multi-agent Systems (ICMAS-95), San Francisco, USA, 1995, 17-24.

Bauer B., Muller J., Odell J.: An extension of UML by protocols for multi-agent interaction. In International Conference on Multiagent Systems (ICMAS’00), Boston, USA, 2000, 207-214.

Cost R., et al.: Modelling agent conversation with colored Petri nets. In J. Bradshaw, ed., Atonomous Agents’99 Special Workshop on Conversation Policies, 1999.

Fiser J., Mashkov V.: Alliance and coalition formation. Journal of Applied Computer Science, Vol. 18, No. 1, 2010, 19-38, ISSN 1507-0360.

Iglesias C., Garrijo M., Gonzales J., Velasco J.: Design of multi-agent system using mas-commonkads. Proceedings of ATAL 98, Workshop on Agent Theories, Architectures and Languages, LNAI 1555, Springer-Verlag, Paris, 1998, 163-176.

d’Inverno M., Luck M.: Formalising the contract net as a goal-directed system. In W. de Velde and J. Perram, ed., Agent Breaking Away, MAAMAW 96, LNAI 1038, Springer-Verlag, 1996.

Koning J.: Algorithms for translating interaction protocols into a formal description. In K. Ito, ed., IEEE Interantional Conference on Systems (SMC-99), Tokio, 1999.

Mashkov V.: Restricted alliance and coalition formation. Proc. of IEEE/WIC/ACM International conference of intelligent agent technology, Beijing, China, 2004, 329-332.

Mashkov V., Barilla J., Simr P.: Applying Petri Nets to modelling of many-core processor self-testing when tests are performed randomly. Journal of Electronic Testing (JETTA), Vol.29, No.1, 2013, 25-34.

Sahner R.A., Trivedi K.S.: Reliability modelling using SHARPE. IEEE Transactions on Reliability, R-36(2), 1987, 186-193.


Published : 2014-12-09

Mashkov, V., Smolarz, A., & Lytvynenko, V. (2014). THE PROBLEM OF COALITION FORMATION MODELLING. Informatyka, Automatyka, Pomiary W Gospodarce I Ochronie Środowiska, 4(4), 38-40.

Victor Mashkov 
University J.E. Purkyne, Usti nad Labem  Czechia
Andrzej Smolarz 
Lublin University of Technology, Institute of Electronics and Information Technology  Poland
Volodymyr Lytvynenko
Kherson National Technical University, Department of Informatics & Computing Technology  Ukraine