CV Personal Website
QR


S.Morteza Bababmir

S.Morteza Bababmir

Professor

College: Faculty of Electrical and Computer Engineering

Department: Software engineering

Degree: Ph.D

CV Personal Website
QR
S.Morteza Bababmir

Professor S.Morteza Bababmir

College: Faculty of Electrical and Computer Engineering - Department: Software engineering Degree: Ph.D |

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

Authorsمینا چاوشی,سید مرتضی بابامیر
Journalمحاسبات نرم دانشگاه کاشان
IFثبت نشده
Paper TypeFull Paper
Published At2024-11-04
Journal GradeScientific - research
Journal TypeElectronic
Journal CountryIran, Islamic Republic Of
Journal IndexISC

Abstract

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.