In this paper, two new models - logical Petri net (LPN) and fuzzy logical Petri net (FLPN)- are defined. The fuzzy reasoning algorithm based on a sub-fuzzy logical Petri net is presented. This algorithm is backward reasoning according to goal propositions. It is simpler than the conventional algorithm of forward reasoning from initial propositions. The application of this model and the reasoning algorithm are discussed.
Logical Petri Net, Fuzzy Logical Petri Net, Semantics, Reasoning Algorithm
All articles published by Studies in Informatics and Control (SIC) are published in accordance with the terms and conditions of the Creative Commons Attribution License (CC BY-NC-SA 4.0).