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

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

شبکه های پتری پیوسته با عناصر موجود در آن برای مدلسازی سیستم هایی که بر پایه تغییر شار یک متغیر می باشند کارایی دارند بنابراین تغییرات شار هر متغیری مانند جریان، آب، توان و ... را می توان به وسیله شبکه های پتری پیوسته مدل نمود، اما شبکه های پتری با عناصر موجود در آن پاسخگوی مدلسازی سیستم هایی که بر پایه تغییر دو یا چند متغیر می باشند (مانند مدارهای الکتریکی) نمی باشد. در این مقاله با ارائه ابزا...

همزمانی، یکی از جنبه های مهم در شبیه سازی سیستم های مختلف است. یکی از ابزارهای بسیار مناسب جهت شبیه سازی سیستم های همزمان، شبکه های پتری هستند. شبکه های پتری تاکنون برای شبیه سازی سیستم های مختلفی از جمله سیستم های بیولوژیکی به کار برده شده اند. در این پروژه، با ادغام ویژگی های یکی از کاملترین نسل های خانواده شبکه پتری با توانایی های یک زبان توصیف سخت افزار، ما روشی نوین جهت مدل سازی شبکه های ب...

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

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

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

شبکه های پتری پیوسته با عناصر موجود در آن برای مدلسازی سیستم هایی که بر پایه تغییر شار یک متغیر می باشند کارایی دارند بنابراین تغییرات شار هر متغیری مانند جریان، آب، توان و ... را می توان به وسیله شبکه های پتری پیوسته مدل نمود، اما شبکه های پتری با عناصر موجود در آن پاسخگوی مدلسازی سیستم هایی که بر پایه تغییر دو یا چند متغیر می باشند (مانند مدارهای الکتریکی) نمی باشد. در این مقاله با ارائه ابزا...