A Maximally Permissive Deadlock Prevention Policy for FMS Based on Petri Net Siphon Control and the Theory of Regions.

ZhiWu Li MengChu Zhou MuDer Jeng A Maximally Permissive Deadlock Prevention Policy for FMS Based on Petri Net Siphon Control and the Theory of Regions. 182-188 2008 5 IEEE T. Automation Science and Engineering 1 http://dx.doi.org/10.1109/TASE.2006.884674 db/journals/tase/tase5.html#LiZJ08