Deadlock prevention policy based on Petri nets and siphons

@inproceedings{Huang2001DeadlockPP,
  title={Deadlock prevention policy based on Petri nets and siphons},
  author={Yi-Sheng Huang and MuDer Jeng and Xiaolan Xie and Sheng-Luen Chung},
  year={2001}
}
This paper presents a deadlock prevention method for a class of flexible manufacturing systems where deadlocks are caused by unmarked siphons in their Petri net models. This method is an iterative approach consisting of two main stages. At each iteration, a fast deadlock detection technique developed by mixed integer programming is used to find an unmarked maximal siphon. An algorithm is formalized that can efficiently obtain an unmarked minimal siphon from the maximal siphon. The first stage… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 146 CITATIONS

FILTER CITATIONS BY YEAR

2001
2019

CITATION STATISTICS

  • 37 Highly Influenced Citations

  • Averaged 8 Citations per year from 2017 through 2019