طراحی یک مکانیسم جدید با استفاده از Petri net برای مدل سازی ساعت
Publish place: Fourth National Conference on New Technologies in Electrical, Computer and Mechanical Engineering of Iran
Publish Year: 1400
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 247
This Paper With 19 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
STCONF04_323
تاریخ نمایه سازی: 26 مهر 1400
Abstract:
زمان مفهوم مهمی در مدل سازی سیستم ها است و بدون امکان مدل سازی زمان امکان ارزیابی جنبه های عملیاتی و وابسطه به زمان سیستم ها وجود نخواهد داشت اما وارد نمودن زمان به شبکه های پتری امری بحث برانگیز بوده و عده ای اعتقاد به آن نداشته و ندارند.اندازه گیری زمان در سیستم های توزیع شده نیازمند همگام سازی synchronization بر مبنای یک ساعت سراسری global است. وابستگی های اتفاقی casual dependencies در یک شبکه پتری بیانگر مساوی بودن زمان است و عدم وابستگی independency شکلی از توازنparallelism یا همروندی concurrency بیان می کند. یکی از روش های مدلسازی استفاده از شبکه های پتری است که در این مقاله به بیان عملکرد آن می پردازیم روش تجزیه و تحلیل در این پروسه شبکه پتری نت رنگی می باشد. و برای این مدل از نرم افزار CPN tools استفاده شده است.
Keywords:
Authors
جواد مظفری
استاد مدعو دانشگاه محقق اردبیلی