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

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

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

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

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

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

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

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

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

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