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

fYear

1997

fDate

18-21 Dec 1997

Firstpage

474

Lastpage

479

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;

fLanguage

English

Publisher

ieee

Conference_Titel

High-Performance Computing, 1997. Proceedings. Fourth International Conference on

Conference_Location

Bangalore

Print_ISBN

0-8186-8067-9

Type

conf

DOI

10.1109/HIPC.1997.634532

Filename

634532