Title :
Modelling of generalised distributed systems using extended colored net
Author :
Mukherjee, S. ; Bhattacharya, S.
Author_Institution :
Dept. of Comput. Sci. & Tech., Deemed Univ., Howrah, India
Abstract :
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
Keywords :
Petri nets; graph colouring; parallel programming; synchronisation; virtual machines; Petri nets; concurrent distributed systems modelling; concurrent programs; dynamic modelling; extended colored net; firing rules; generalised concurrent distributed system; generalised distributed systems modelling; high level net; interprocess communication; mutual exclusion; process synchronisation; resource sharing; simultaneous modelling; sufficiency conditions; token indexing; Educational institutions; Embedded computing; Erbium; Indexing; Joining processes; Performance analysis; Petri nets; Power system modeling; Resource management; Timing;
Conference_Titel :
High-Performance Computing, 1997. Proceedings. Fourth International Conference on
Conference_Location :
Bangalore
Print_ISBN :
0-8186-8067-9
DOI :
10.1109/HIPC.1997.634532
