طراحی یک مکانیسم جدید با استفاده از petri net برای مدل سازی ساعت
|
|
|
|
|
DOR
|
20.1001.2.0020135610.1400.4.1.183.6
|
|
نویسنده
|
مظفری جواد
|
|
منبع
|
همايش ملي فناوريهاي نوين در مهندسي برق، مكانيك و كامپيوتر ايران - 1400 - دوره : 4 - چهارمین همایش ملی فناوریهای نوین در مهندسی برق، مکانیک و کامپیوتر ایران - کد همایش: 00201-35610
|
|
چکیده
|
زمان مفهوم مهمی در مدل سازی سیستم ها است و بدون امکان مدل سازی زمان امکان ارزیابی جنبه های عملیاتی و وابسطه به زمان سیستم ها وجود نخواهد داشت اما وارد نمودن زمان به شبکه های پتری امری بحث برانگیز بوده و عده ای اعتقاد به آن نداشته و ندارند.اندازه گیری زمان در سیستم های توزیع شده نیازمند همگام سازی (synchronization) بر مبنای یک ساعت سراسری (global) است. وابستگی های اتفاقی (casual dependencies) در یک شبکه پتری بیانگر مساوی بودن زمان است و عدم وابستگی (independency) شکلی از توازن (parallelism) یا همروندی (concurrency) بیان می کند.یکی از روش های مدلسازی استفاده از شبکه‌های پتری است که در این مقاله به بیان عملکرد آن می‌پردازیم روش تجزیه و تحلیل در این پروسه شبکه پتری نت رنگی می باشد. و برای این مدل از نرم افزارcpn tools استفاده شده است.
|
|
کلیدواژه
|
شبکه پتری ,شبیه سازی ,سیستم ,گذر ,مکان ,قطعی ,غیر قطعی ,زمان واقعی ,توکن نامتناهی
|
|
آدرس
|
دانشگاه محقق اردبیلی, ایران
|
|
پست الکترونیکی
|
mozaffari.javad1990@gmail.com
|
|
|
|
|
|
|