Next Article in Journal
On p-adic Integral Representation of q-Bernoulli Numbers Arising from Two Variable q-Bernstein Polynomials
Previous Article in Journal
Path Planning for the Mobile Robot: A Review
Open AccessArticle

An Automatic Algorithm to Generate a Reachability Tree for Large-Scale Fuzzy Petri Net by And/Or Graph

1
College of Information Science and Engineering, Jishou University, Jishou 416000, Hunan, China
2
College of Information Science and Engineering, Central South University, Changsha 410083, Hunan, China
*
Author to whom correspondence should be addressed.
Symmetry 2018, 10(10), 454; https://doi.org/10.3390/sym10100454
Received: 14 September 2018 / Revised: 25 September 2018 / Accepted: 25 September 2018 / Published: 1 October 2018
Fuzzy Petri net (FPN) is widely used to repre sent, model and analyse knowledge-based systems (KBSs). Meanwhile, a reachability tree is an important tool to fully represent the flow relationship of FPN and is widely applied to implement inference in industrial areas. However, the traditional reachability ignores recording the dependence relationships (‘and/or’ relationship) among the places in the neighbouring layers. This paper develops a modified reachability tree based on an and/or graph and presents a three-phase generation algorithm to model the reachability tree for the corresponding FPN automatically via fuzzy production rules (FPRs). Four cases are used to verify the correctness and feasibility of the proposed algorithm from different viewpoints, such as general FPRs, FPRs with a condition-sharing situation, FPRs with a conclusion-sharing situation, and FPRs with multi-conclusions. Simulation results reveal that the proposed approach has the ability to automatically generate the reachability tree for the corresponding FPN correctly. View Full-Text
Keywords: fuzzy Petri net (FPN), reachability tree; and/or graph; modeling; equivalent fuzzy Petri net (FPN), reachability tree; and/or graph; modeling; equivalent
Show Figures

Figure 1

MDPI and ACS Style

Zhou, K.-Q.; Mo, L.-P.; Ding, L.; Gui, W.-H. An Automatic Algorithm to Generate a Reachability Tree for Large-Scale Fuzzy Petri Net by And/Or Graph. Symmetry 2018, 10, 454.

Show more citation formats Show less citations formats
Note that from the first issue of 2016, MDPI journals use article numbers instead of page numbers. See further details here.

Article Access Map by Country/Region

1
Back to TopTop