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

نوع مقاله : مقاله پژوهشی

نویسندگان

گروه مهندسی نرم افزار، دانشگاه کاشان‌، کاشان، ایران.

چکیده

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 \hl{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.
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 \hl{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.

کلیدواژه‌ها

موضوعات


عنوان مقاله [English]

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

نویسندگان [English]

  • Mina Chavoshi
  • Seyed Morteza Babamir
Department of Computer Engineering, Unversity of Kashan, Kashan, Iran.
چکیده [English]

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 \hl{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.
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 \hl{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.

کلیدواژه‌ها [English]

  • State Transition Table
  • Fuzzy Petri Net
  • Fuzzy Inference
  • Critical Systems
  • Knowledge-Based Systems