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

Document Type : Original Article

Authors

Department of Computer Engineering, Unversity of Kashan, Kashan, Iran.

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

Keywords

Main Subjects



Articles in Press, Accepted Manuscript
Available Online from 04 November 2024
  • Receive Date: 30 April 2024
  • Revise Date: 04 November 2024
  • Accept Date: 04 November 2024