Sciweavers

IJACTAICIT
2010

An Improved Deadlock Prevention Strategy for FMSs Using Theory of Regions

12 years 10 months ago
An Improved Deadlock Prevention Strategy for FMSs Using Theory of Regions
The theory of regions has been recognized as the optimal deadlock prevention policy based on the marking/transition-separation instance (MTSI) or the event-state-separation-problem (ESSP) method for obtaining a maximally permissive controller in existing literature. All legal and live maximal behavior of the Petri nets model can be held by using above methods. However, its major drawback is all MTSIs (ESSPs) are required to indentify for solving the deadlock problems. For the reason, the crucial marking/transition-separation instance (CMTSI) is proposed in this paper to allow designers to deal with system deadlocks using few MTSIs. The advantage of the proposed methodology is that the computational cost can be reduced due to few MTSIs involved in. Finally, several experimental results have been examined.
Yi-Sheng Huang, Yen-Liang Pan
Added 18 May 2011
Updated 18 May 2011
Type Journal
Year 2010
Where IJACTAICIT
Authors Yi-Sheng Huang, Yen-Liang Pan
Comments (0)