Modelling of generalised distributed systems using extended colored net

The paper presents a comprehensive tool in the form of a high level net, for modelling the dynamic characteristics of concurrent distributed systems. The conventional nets with all the recent enhancements, are still inadequate in providing effective solutions rewards simultaneous modelling of interprocess communication and resource sharing. The concept of introducing indexing of tokens coupled with appropriate firing rules was proposed in the process of solving this problem. It has been established that this new variation of high level net fulfils the sufficiency conditions for modelling any generalised concurrent distributed system.