|
Reachability analysis of a class of Petri nets using place invariants and siphons |
|---|---|
| รหัสดีโอไอ | |
| Creator | 1. Zhi Wu Li 2. Xiu Yan Zhang 3. Chun Fu Zhong 4. Abdulrahman M. Al-Ahmari |
| Title | Reachability analysis of a class of Petri nets using place invariants and siphons |
| Publisher | Maejo University |
| Publication Year | 2556 |
| Journal Title | Maejo International Journal of Science and Technology |
| Journal Vol. | 7 |
| Journal No. | 2 |
| Page no. | 278 |
| Keyword | Petri nets,strict minimal siphons,place invariants,reachability analysis,flexible manufacturing system |
| ISSN | 1905-7873 |
| Abstract | This paper proposes a novel and computationally efficient approach to deal with the reachability problem by using place invariants and strict minimal siphons for a class of Petri nets called pipe-line nets (PLNs). First, in a PLN with an appropriate initial marking, the set of invariant markings and the set of strict minimal siphons are enumerated. Then a sufficient and necessary condition is developed to decide whether a marking is spurious by analysing the number of tokens in operation places of any strict minimal siphon and their bounds. Furthermore, an algorithm that generates the reachable markings by removing all the spurious markings from the set of invariant markings is proposed. Finally, experimental results show the efficiency of the proposed method. |
