نظام حاسوب موزع يعتمد على شبكات بتري العشوائية (الاحتما لية)

In this paper we propose models of a distributed computing system (DCS) based on general stochastic Petri nets (GSPN). We also propose the means to decrease the number of states. We indicate that the complexity of DCS doesn't affect the models structure (a number of tokens is changed only). In this paper we also propose models for investigation of processes transfer, data interchange, and also the priority interchange.نطرح في هذا البحث نماذج لنظام حاسوب موزع تعتمد على شبكات بتري العشوائية (الاحتمالية) العامة . كما نطرح أيضا وسائل لتخفيض عدد الحالات ونوضح أن درجة التعقيد لنظام الحاسوب الموزع لا توًثر على هيكلية النموذج (يتغير فقط عدد النقاط)