A new method for finding firing sequences of Petri nets

2002 ◽  
Author(s):  
J.T. Ootsuki ◽  
Y. Fujii ◽  
T. Sekiguchi ◽  
H. Mizutani ◽  
S. Kobayashi ◽  
...  
Keyword(s):  
Petri Nets ◽  
New Method

Synthesis of Macro Petri Nets into FPGA with Distributed Memories

2012 ◽  
Vol 58 (4) ◽  
pp. 403-410 ◽  
Author(s):  
Arkadiusz Bukowiec ◽  
Marian Adamski
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Parallel Implementation ◽  
State Machine ◽  
Logic Circuit ◽  
Digital System ◽  
Decomposition Process ◽  
New Method ◽  
Combinational Circuit ◽  
Distributed Memories

Abstract In this paper a new method of Petri net array-based synthesis is proposed. The method is based on decomposition of colored interpreted macro Petri net into state machine subnets. Each state machine subnet is determined by one color. During the decomposition process macroplaces are expanded or replaced by doublers of macroplace. Such decomposition leads to parallel implementation of a digital system. The structured encoding of places is done by using minimal numbers of bits. Colored microoperations, which are assigned to places, are written into distributed and flexible memories. It leads to realization of a logic circuit in a two-level concurrent structure, where the combinational circuit of the first level is responsible for firing transitions, and the second level memories are used for generation of microoperations. Such an approach allows balanced usage of different kinds of resources available in modern FPGAs

scholarly journals Power Grid Fault Diagnosis Method Using Intuitionistic Fuzzy Petri Nets Based on Time Series Matching

Complexity ◽  
2019 ◽  
Vol 2019 ◽  
pp. 1-14 ◽  
Author(s):  
Mingyue Tan ◽  
Jiming Li ◽  
Xiangqian Chen ◽  
Xuezhen Cheng
Keyword(s):  
Time Series ◽  
Fault Diagnosis ◽  
Petri Nets ◽  
Power Grid ◽  
New Method ◽  
Uncertain Information ◽  
Intuitionistic Fuzzy ◽  
Fuzzy Petri Nets ◽  
Diagnosis Method ◽  
Diagnosis Model

To improve the reliability of power grid fault diagnosis by enhancing the processing ability of uncertain information and adequately utilizing the alarm information about power grids, a fault diagnosis method using intuitionistic fuzzy Petri Nets based on time series matching is proposed in this paper. First, the alarm hypothesis sequence and the real alarm sequence are constructed using the alarm information and the general grid protection configuration model, and the similarity of the two sequences is used to calculate the timing confidence. Then, an intuitionistic fuzzy Petri Nets fault diagnosis model, with an excellent ability to process uncertain information from intuitionistic fuzzy sets, is constructed, and the initial place value of the model is corrected by the timing confidence. Finally, an application of the fault diagnosis model for the actual grid is established to analyze and verify the diagnostic results of the new method. The results for some test cases show that the new method can improve the accuracy and fault tolerance of fault diagnosis, and, furthermore, the abnormal state of the component can be inferred.

scholarly journals Construction of Occurrence Graphs with Permutation Symmetries Aided by the Backtrack Method

2002 ◽  
Vol 26 (516) ◽  
Author(s):  
Jens Bæk Jørgensen
Keyword(s):  
Group Theory ◽  
Petri Nets ◽  
Performance Measures ◽  
New Method ◽  
Coloured Petri Nets ◽  
State Spaces ◽  
Experimental Performance ◽  
Speed Up ◽  
Backtrack Algorithm ◽  
Reduced State

<p>This paper recalls the concept of occurrence graphs with permuta- tion symmetries (OS-graphs) for Coloured Petri Nets. It is explained how so-called self-symmetries can help to speed up construction of OS- graphs. The contribution of the paper is to suggest a new method for calculation of self-symmetries, the Backtrack Method. The method is based on the so-called Backtrack Algorithm, which originates in com- putational group theory. The suggestion of the method is justified, both by identifying an important general complexity property and by obtaining encouraging experimental performance measures.</p><p><strong>Topics.</strong> Coloured Petri Nets, reduced state spaces, occurrence graphs with permutation symmetries, self-symmetries, computational group theory, backtrack searches.</p>

scholarly journals A NEW APPROACH FOR DETERMINING THE SYSTEM TIME WITHOUT FAILURES USING PETRI NETS

2015 ◽  
Vol 5 (2) ◽  
Author(s):  
Bojana Zlatkovic ◽  
Biljana Samardzic
Keyword(s):  
Power System ◽  
Petri Nets ◽  
Key Words ◽  
Electric Power ◽  
Reliability Analysis ◽  
Fault Tree ◽  
Electric Power System ◽  
New Method ◽  
New Approach ◽  
System Time

A new method for determining the time without failures using Petri nets will be presented in this paper. Petri nets are very appropriate for modelling and analysis of different systems. Due to its simplicity, this method can be applicable in practice, for example, for reliability analysis and for the time without failures calculation. The results are illustrated using the example of electric power system. Key words: Petri nets,time without failures, fault tree

A New Method for Synthesizing State Avoidance Policies for Controlled Petri Nets

1996 ◽  
Vol 29 (1) ◽  
pp. 4801-4806
Author(s):  
Ke Yi Xing ◽  
Jiu Ming Li ◽  
Bao Sheng Hu
Keyword(s):  
Petri Nets ◽  
New Method

scholarly journals Urban Rail Transit Running Hierarchized Simulation based on Timed Discrete Petri and Matlab under the Background of Industry 4.0

CONVERTER ◽  
2021 ◽  
pp. 482-489
Author(s):  
Yue Zhang
Keyword(s):  
Simulation Model ◽  
Petri Nets ◽  
Industry 4.0 ◽  
Bottom Layer ◽  
Urban Rail Transit ◽  
New Method ◽  
Rail Transit ◽  
Line Model ◽  
Urban Rail ◽  
Simulation Based

This paper, taking Changchun rail transit as an example, proposes a new method to simulate its running that is hierarchized simulation using timed discrete Petri and Simulink/Stateflow. Firstly, this paper uses the timed discrete Petri nets to build Changchun rail transit line 1-4 running model. And then, based on the timed discrete Petri nets model above, this paper also studies hierarchized simulation model by the tool of Simulink/Stateflow, which consists of two layers: the bottom layer is a single line model, and the top layer is a whole line model. In order to realize the rail transit running visualization, the tool of Matlab/App Designer is employed to design monitoring interface for Changchun rail transit line 1-4. This method is scalable and popularized.

scholarly journals Defining a new method to set certainty factors to improve power systems prognosis with fuzzy petri nets

AIMS Energy ◽  
2020 ◽  
Vol 8 (4) ◽  
pp. 686-700
Author(s):  
R. S. Solaiman ◽  
◽  
T. G. Kherbek ◽  
A. S. Ahmad ◽  
Keyword(s):  
Power Systems ◽  
Petri Nets ◽  
New Method ◽  
Fuzzy Petri Nets
Sign in / Sign up

Export Citation Format

Share Document