نسترن بیوراحمدی - گروه مهندسی نرم افزار، دانشگاه آزاد اسلامی واحد علوم و تحقیقات بوشهر،ایران
علی هارون آبادی - گروه مهندسی نرم افزار، دانشگاه آزاد اسلامی واحد تهران مرکز،ایران

در این مقاله، ما روشی برای سیستم های توزیع شده با شبکه های پتری سطح بالا ارائه می کنیم که یک ابزار قدرتمند به ویژه بافرمالیسم همزمان و توزیع اختصاص داده شده، اجازه مدلسازی هر دو پروتکل و مؤلفه های سرویس را می دهد. کار ارائه شده در این مقاله بخشی از یک رویکرد بزرگ در طراحی سیستم های توزیع شده توسط ارزیابی کردن می باشد که در مرحله طراحی، پروتکل های شبکه بر توزیع تابعی از یکسیستم توزیع شده بر روی کامپیوترهای مختلف اثر می گذارد.

سیستم های توزیع شده، شبکه پتری، ارزیابی، عملکرد، شئ گرا