بررسی شبکه های پتری و کاربرد آن در مدلسازی و ارزیابی کارایی نرمافزار

سال انتشار: 1393
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 3,662

فایل این مقاله در 14 صفحه با فرمت PDF قابل دریافت می باشد

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این مقاله:

شناسه ملی سند علمی:

NCECN01_213

تاریخ نمایه سازی: 7 بهمن 1393

چکیده مقاله:

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

نویسندگان

مینا رهبری

آموزشکده فنی و حرفه ای سما، دانشگاه آزاد اسلامی واحد خوراسگان، اصفهان، ایران.

اسماعیل کشکولی

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

مراجع و منابع این مقاله:

لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :
  • موتمنی، همایون. "کاربرد روشهای رسمی در درستی یابی و ارزیابی ...
  • طریحی، ع. «بررسی کاربرد شبکه های پتری شی گرا در ...
  • GossUP.J.E., Peccuod, J., _ Quantitative modeling of stochastic systems in ...
  • Bos, W., "Modeling Biological Systems Using Petri Nets, " Department ...
  • R. D. H. A, ،Continous and Hybrid Petri Nets", Journal ...
  • Mutsano, H., etal., "Biopathways Representation and Simulation on Hybrid Functional ...
  • Lakos, C. _ Object Orientation of Object Petri Nets, " ...
  • Li.C, etal. _ modeling and analyzing signaling pathways with inhibitory ...
  • Chaouiya, C, "Petri net modeling of biological networks, ; Brief ...
  • Bankhead, A., etal. "Gene knockout experiments to quantify a G2/M ...
  • Greenwald, I., "LIN-12/Notch signaling: lessons from worms and flies." Genes ...
  • نمایش کامل مراجع