FMSにおけるデッドロック回避スーパバイザの一設計法

抄録

二つの機械と一つのロボットからなるFMSのデッドロック回避について考察する．YalcinとBoucherは例題を通して，有限オートマトンを用いたデッドロック回避スーパバイザの設計法を示している．そこで本研究では，離散事象システム理論の立場から，YalcinとBoucherの手法に対して，デッドロック回避スーパバイザのシステマチックな構成手順を与える．