scholarly journals Modeling of critical systems implementing negative events using dual Petri nets

2018 ◽  
Vol 226 ◽  
pp. 04001 ◽  
Author(s):  
Marina A. Ganzhur ◽  
Aleksei P. Ganzhur ◽  
Olga V. Smirnova

This work is devoted to solving the problem of modeling critical systems based on the use of modified Petri nets. The dual (binary) Petri net one of the modifications, which allows us to view inversing events at the same time, solving the problem with the possibility of deadlocks. Construction of schemes using fuzzy logic makes it possible to calculate the values of linguistic variables obtained knowledge. Petri dual network allows you to organize the exclusion of negative events by introducing additional links. In accordance with the rules, it is possible to construct a dual fuzzy Petri net, which involves the use of maximum and minimum transitions or appropriate logical calculations of conjunctions and disjunctions. Transition from classical Petri nets to dual fuzzy nets, realizes fuzzy knowledge of logical deriving that gives the chance in construction of expert systems with fuzzy logic solving a problem of data analysis.

2019 ◽  
Vol 3 (1) ◽  
pp. 37
Author(s):  
Maria Yus Trinity Irsan ◽  
Matius Irsan Kasau ◽  
Ika Pratiwi Simbolon

Fuzzy Logic is a development of Binary Logic that can be used to analyze data in research in both the exact and social fields. In this study, fuzzy logic is used to analyze data in a "Ayam Goreng Murah Rezeki" restaurant related to three linguistic attributes, each of which consists of two linguistic variables: Inventory (Little, Many), Sales (Down, Up), and Purchases (Reduced, Increased) using the Mamdani method. The purpose of the study is to provide an input value of Inventory and Sales to get a Purchase output value. The results of data analysis using a linear down graph and a linear upward graph on each linguistic variable with the Mamdani method yield results in the estimated area or range.


2012 ◽  
Vol 605-607 ◽  
pp. 837-843 ◽  
Author(s):  
Hai Lan Pan ◽  
Wen Rong Jiang ◽  
Hai Hui He

This paper proposes a method for using neural network and weighted fuzzy Petri net to diagnose fault. Aiming at the traditional Petri net can not precisely predict the complex relation of the default phenomenon and the cause, neural network, fuzzy logic and the traditional Petri net are combined, and a constructing method for adaptive weighted fuzzy Petri net model is proposed. Based on this, an improved BP algorism is introduced to train the weight of the model, and the specific process for using the model to diagnose the fault is given. Finally, the model was applied to the instance of FMS, and the model was proved to have the advantages of Petri net and neural network and have reasoning and adaptive ability.


Electronics ◽  
2021 ◽  
Vol 10 (4) ◽  
pp. 489
Author(s):  
Oz Yakrangi ◽  
Roque J. Saltarén Pazmiño ◽  
Juan S. Cely ◽  
Alejandro Rodríguez ◽  
Cecilia E. García Cena ◽  
...  

The aim of this article is to present the fuzzy Petri net algorithm and its implementation on the Guide d’etude des modes de marche et d’arrêt (GEMMA) guide paradigm. Additionally, this article presents a brief description of the GEMMA guide paradigm, the fuzzy logic approach, the Petri nets theory, and fuzzy Petri nets. Each algorithm is intended for a specific set of transitions, depending on their essential conditions. All these algorithms generate intelligent and safe control of the GEMMA guide paradigm in order to have the best control system for the machine. Moreover, the algorithms are able to make the best decision automatically depending on the machine’s situation and condition, something that allows the machine to be placed in the appropriate mode for each situation. The results show that the different fuzzy Petri net algorithms were working properly for the GEMMA guide paradigm and provided a proper solution for the automation of production systems.


2021 ◽  
pp. 1-13
Author(s):  
Poonam Juneja ◽  
Rachana Garg ◽  
Parmod Kumar

The paper presents a novel method for processing uncertain data of Phasor measurement unit (PMU) modules first time in the literature using Fuzzy Reasoning Petri net (FPN). It addresses several key issues such as exploitation of Petri net representation from operating state of PMU to its failure state whereas Fuzzy logic is used to deal with the uncertain data of PMU modules. Sprouting tree, an information flow path, of PMU failure is drawn due to various components and estimation accuracy can be enhanced by integration of more truthiness input data. Fault tree diagram, Fuzzy Petri net model (FPN), production rule sets for PMU are developed and finally degree of truthiness of proposition is computed from sprouting tree. Fuzzy logic reasoning is used for routing the sprouting tree whereas Petri net is employed for dynamics of states due to failure of modules of PMU. The fusion of two technologies is made for the dynamic response, processing and reasoning to sprouting tree information flow from operating state to unavailability of PMU. The research work is useful to pinpoint the weakness in design of modules of PMU and to assess its reliability.


Author(s):  
Xiaozhong Li ◽  
Yong Li ◽  
Ying Liu ◽  
Long Wang

With the advances in technique for high throughput data gathering such as microarrays, DNA sequencing machines and continuous development of human genome project, the traditional physical and chemical methods have been more difficult to meet the requests of time consuming and results accuracy. Exploring and understanding the causal relationship of complex gene regulatory networks and transforming the massive data of large-scale biological research to useful biological knowledge are the present challenge. As a result, there are two typical applications both the confidence value prediction of DNA sequence and influence degree prediction of gene expression which have become the hot issues in our daily life. In this paper, two extended fuzzy Petri nets approaches are proposed, based on the existing fuzzy Petri net model, to model and analyze for the hot issues respectively. One is the fuzzy colored Petri net, which combines fuzzy Petri net with colored Petri net to model fuzzy rule-based reasoning and determine confidence values for bases called in DNA sequence. The other is extended fuzzy Petri net, which integrates reverse reasoning into fuzzy Petri net and is proposed to model gene regulatory network. It can predict the change in expression level of target based on the input expression level of activator/repressor. Compared with the method of fuzzy Petri net, the two extended fuzzy Petri nets models perform more accurately in the following typical experiment reasoning outcomes and show that the proposed methods are feasible and available.


2000 ◽  
Vol 09 (04) ◽  
pp. 537-549
Author(s):  
SHYUE-LIANG WANG ◽  
TZUNG-PEI HONG

This paper proposes a new reasoning technique on fuzzy production systems while given input knowledge is incomplete. Based on the fuzzy Petri net formalism, the proposed algorithm can infer all possible conclusions and their corresponding missing inputs. The most possible conclusion can also be determined based on the criteria of the minimum number of missing inputs as well as the degree of truth of the conclusion. In addition, finiteness and computational complexity of the algorithm is investigated. As real decisions are typically made under incomplete input knowledge, this reasoning technique provides more realistic applications for fuzzy production systems.


Author(s):  
Tomasz Rymarczyk ◽  
Grzegorz Kłosowski ◽  
Tomasz Cieplak

The paper deals with the design of data analysis systems for business process automation. A general scheme of decision support system was developed in which one of the modules is based on Petri Nets. The way of implementation of Petri Net model in optimization problem regarding service-oriented decision support system was shown. The Petri Net model of distribution workflow was presented and simulation experiments was completed. As a result the optimal solution as a set of parameters was emerged.


Sign in / Sign up

Export Citation Format

Share Document