A decomposition algorithm of fuzzy Petri net using an index function and incidence matrix. Issue 8 (15th May 2015)

• Record Type: Journal Article
• Authors: Zhou, Kai-Qing; Zain, Azlan Mohd; Mo, Li-Ping
• Is Part Of: Expert systems with applications. Volume 42:Issue 8(2015)
• Page Start: 3980
• Page End: 3990
• Publication Date: 2015-05-15
• Subjects: Fuzzy Petri net -- Decomposition algorithm -- Index function -- Incidence matrix -- Inference path; Expert systems (Computer science) -- Periodicals; Systèmes experts (Informatique) -- Périodiques; Electronic journals; 006.33
• DOI: 10.1016/j.eswa.2014.12.048
• Languages: English
• ISSNs: 0957-4174

Abstract

Highlights: An index function to find out if the "OR" rule is presented. An FPN is divided into a set of sub-FPNs the proposed algorithm. A theorem is provided to compute the number of inference paths present in FPN. Abstract: As with Petri nets (PNs), the state space explosion has limited further studies of fuzzy Petri net (FPN), and with the rising scale of FPN, the algorithm complexity for related applications using FPN has also rapidly increased. To overcome this challenge, we propose a decomposition algorithm that includes a backwards search stage and forward strategy for further decomposition, one that divides a large-scale FPN model into a set of sub-FPN models using both a presented index function and incidence matrix. In the backward phase, according to different output places, various completed inference paths are recognized automatically. An additional decomposition operation is then executed if the "OR" rule exists for each inference path. After analysing the proposed algorithm to confirm its rigor, a proven theorem is presented that calculates the number of inference paths in any given FPN model. A case study is used to illustrate the feasibility and robust advantages of the proposed decomposition algorithm.