Glomozda D. Coordination in asynchronous computational networks

The thesis is devoted to creation of model of program system to support asynchronous distant collaboration in Internet scope (PSSADCI) and building a working prototype of PSSADCI on its base. The formal Petri net model of PSSADCI based on the floor control protocol is offered in the thesis and her applicability to model PSPADCIs consisting of any number of users, sessions and resources is proved. The problem of verification of PSPADCI’s coordination mechanism is stated and its membership in the class of co-NP-complete problems is shown. Totality of the algorithm of coordinating joint work participants’ actions in case of error is proved. The PSPADCI prototype is created based on the presented model using agent technologies. «Virtual University» support software system with built-in coordination mechanism implementing floor control principles is created.