State equation, controllability, and maximal matchings of petri nets

1977 ◽  
Vol 22 (3) ◽  
pp. 412-416 ◽  
Author(s):  
T. Murata
Keyword(s):  
Petri Nets ◽  
State Equation

A new formulation for state equation representation for Petri nets

1992 ◽  
Vol 32 (8) ◽  
pp. 1083-1090
Author(s):  
R.P. Kaushal ◽  
N. Chammas ◽  
Harpreet Singh
Keyword(s):  
Petri Nets ◽  
State Equation ◽  
New Formulation

On the determination of the solution of a class of Murata's state equation of Petri nets

1981 ◽  
Vol 69 (4) ◽  
pp. 466-467 ◽  
Author(s):  
A.A. Khan ◽  
G.S. Hura ◽  
H. Singh ◽  
N.K. Nanda
Keyword(s):  
Petri Nets ◽  
State Equation

Generalized state equation of Petri Nets with priority

2003 ◽  
Vol 18 (11) ◽  
pp. 1145-1153 ◽  
Author(s):  
Gi Bum Lee ◽  
Han Zandong ◽  
Jin S. Lee
Keyword(s):  
Petri Nets ◽  
State Equation ◽  
Generalized State

Ladder diagram implementation of Control Interpreted Petri Nets: a state equation approach

2009 ◽  
Vol 42 (21) ◽  
pp. 78-83
Author(s):  
Marcos V. Moreira ◽  
Daniel S. Botelho ◽  
João C. Basilio
Keyword(s):  
Petri Nets ◽  
State Equation ◽  
Ladder Diagram ◽  
Equation Approach

scholarly journals Research and Application of FTA and Petri Nets in Fault Diagnosis in the Pantograph-Type Current Collector on CRH EMU Trains

2015 ◽  
Vol 2015 ◽  
pp. 1-12 ◽  
Author(s):  
Long-long Song ◽  
Tai-yong Wang ◽  
Xiao-wen Song ◽  
Lei Xu ◽  
De-gang Song
Keyword(s):  
Fault Diagnosis ◽  
Petri Nets ◽  
High Speed ◽  
Fault Tree ◽  
Fault Tree Analysis ◽  
Current Collector ◽  
State Equation ◽  
Matrix Analysis ◽  
Minimal Cut Set ◽  
Multiple Unit

A fault tree is established based on structural analysis, working principle analysis, and failure mode and effects analysis (FMEA) of the pantograph-type current collector on the Chinese Rail High-Speed Electric Multiple Unit (CRH EMU) train. To avoid the deficiencies of fault tree analysis (FTA), Petri nets modelling is used to address the problem of data explosion and carry out dynamic diagnosis. Relational matrix analysis is used to solve the minimal cut set equation of the fault tree. Based on the established state equation of the Petri nets, initial tokens and enable-transfer algorithms are used to express the fault transfer process mathematically and improve the efficiency of fault diagnosis inferences. Finally, using a practical fault diagnosis example for the pantographs on CRH EMU trains, the proposed method is proved to be reasonable and effective.

scholarly journals A Holistic State Equation for Timed Petri Nets

2014 ◽  
Vol 133 (2-3) ◽  
pp. 305-322
Author(s):  
Matthias Werner ◽  
Louchka Popova-Zeugmann ◽  
Mario Haustein ◽  
E. Pelz
Keyword(s):  
Petri Nets ◽  
State Equation ◽  
Timed Petri Nets

A CONSTRUCTIVE METHOD FOR FINDING LEGAL TRANSITION SEQUENCES IN PETRI NETS

1998 ◽  
Vol 08 (01) ◽  
pp. 189-222 ◽  
Author(s):  
JENG S. HUANG ◽  
TADAO MURATA
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Nonnegative Integer ◽  
State Equation ◽  
The State ◽  
Constructive Method ◽  
Reachability Problem ◽  
Search Effort ◽  
Representation Systems ◽  
Integer Solutions

This paper considers the Petri net reachability problem formulated in terms of nonnegative integer solutions of the state equation and their net representation systems. Our main contributions are twofold. First, we show that algorithms for finding legal transition sequences can be easily given for subclasses of Petri nets where reachability criteria are known or can be formulated by our method. Second, for the general reachability problem where reachability theorems or criteria are not known, and thus an exhaustive search for legal transition sequences is inevitable, we introduce the notion of non-crucial sequences to reduce the search effort.

Sign in / Sign up

Export Citation Format

Share Document