scholarly journals Erratum to : A Synthesis Method for Petri Net with Prescribed Firing Sequence

1985 ◽  
Vol 21 (4) ◽  
pp. 421-421
1985 ◽  
Vol 21 (3) ◽  
pp. 277-283 ◽  
Author(s):  
Kouji TAKAHASHI ◽  
Kensuke HASEGAWA ◽  
Zbigniew BANASZAK

2012 ◽  
Vol 490-495 ◽  
pp. 1353-1357
Author(s):  
Hai Bo Mu ◽  
Yu Bo Song

In this paper, Petri net is adopted for seeking the minimal cost maximal flow of a network. The cost Petri net is proposed and the enabled rules of transitions are given. In addition, an algorithm for obtaining the minimal cost maximal flow based on cost Petri net is developed. The proposed algorithm, which is different from the others, is to find the firing sequence of transitions by labeling places and increase flows in this sequence. Finally, an example is given to demonstrate the application of the algorithm. The results show that the given method can find the minimal cost maximal flow of a network efficiently.


2012 ◽  
Vol 2012 ◽  
pp. 1-12 ◽  
Author(s):  
Alireza Tavakholi Ghainani ◽  
Abdullah Asuhaimi Mohd Zin ◽  
Nur ‘Ain Maiza Ismail

A model-based system for fault diagnosis in power system is presented in this paper. It is based on fuzzy timing Petri net (FTPN). The ordinary Petri net (PN) tool is used to model the protective components, relays, and circuit breakers. In addition, fuzzy timing is associated with places (token)/transition to handle the uncertain information of relays and circuits breakers. The received delay time information of relays and breakers is mapped to fuzzy timestamps,π(τ), as initial marking of the backward FTPN. The diagnosis process starts by marking the backward sub-FTPNs. The final marking is found by going through the firing sequence,σ, of each sub-FTPN and updating fuzzy timestamp in each state ofσ. The final marking indicates the estimated fault section. This information is then in turn used in forward FTPN to evaluate the fault hypothesis. The FTPN will increase the speed of the inference engine because of the ability of Petri net to describe parallel processing, and the use of time-tag data will cause the inference procedure to be more accurate.


Sign in / Sign up

Export Citation Format

Share Document