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

مینا رهبری; اسماعیل کشکولی

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

Publish place: First National Conference on Electrical and Computer north Iran (Bandar anzali)

Publish Year: 1393

Type: Conference paper

Language: Persian

This Paper With 14 Page And PDF Format Ready To Download

DOWNLOAD Paper

Certificate
I'm the author of the paper

Export:

Link to this Paper:

https://civilica.com/doc/330468

Document National Code:

NCECN01_213

Index date: 27 January 2015

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

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

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

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

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

مینا رهبری

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

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

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

مراجع و منابع این Paper:

لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :

موتمنی، همایون. "کاربرد روشهای رسمی در درستی یابی و ارزیابی ...

طریحی، ع. «بررسی کاربرد شبکه های پتری شی گرا در ...

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 ...

نمایش کامل مراجع