رزومه وب سایت شخصی
QR


سیدمرتضی بابامیر

سیدمرتضی بابامیر

استاد

دانشکده: دانشکده مهندسی برق و کامپیوتر

گروه: مهندسی نرم افزار

مقطع تحصیلی: دکترای تخصصی

رزومه وب سایت شخصی
QR
سیدمرتضی بابامیر

استاد سیدمرتضی بابامیر

دانشکده: دانشکده مهندسی برق و کامپیوتر - گروه: مهندسی نرم افزار مقطع تحصیلی: دکترای تخصصی |

Please see the following link
http://se.kashanu.ac.ir/babamir

My affiliation

مرتبه علمی: استاد

دکتری تخصصی مهندسی نرم افزار: دانشگاه تربیت مدرس

کارشناسی ارشد مهندسی نرم افزار: دانشگاه تربیت مدرس

کارشناسی مهندسی نرم افزار: دانشگاه فردوسی مشهد

مدیر گروه مهندسی کامپیوتر: از بهمن 99 تا کنون

نمایش بیشتر

A Petri Net Based Flexible Model for Reasoning and Behavior Modeling of Event-Based Systems

نویسندگانمینا چاوشی,سید مرتضی بابامیر
نشریهمحاسبات نرم دانشگاه کاشان
ضریب تاثیر (IF)ثبت نشده
نوع مقالهFull Paper
تاریخ انتشار2024-11-04
رتبه نشریهعلمی - پژوهشی
نوع نشریهالکترونیکی
کشور محل چاپایران
نمایه نشریهISC

چکیده مقاله

In this article, the behavior of event-based and rule-based systems is modeled using Hierarchical Fuzzy Petri nets (HFPN). In such systems, a large number of rules with fuzzy variables can lead to increase complexity in deducing behavior. So far, several FPN methods have been presented for these systems. In this paper, we present an HFPN leading to a reduction in the number of arcs, places and transitions as well as a reduction in the ML language code on Petri-net arcs and the increase of the code constructiveness. Finally, we applied our method for modeling and reasoning a secure water treatment system against burst pipe attack.