講演抄録/キーワード |
講演名 |
2014-03-06 13:55
TPハンドルをもつワークフローネットのプロトコル継承を維持する健全化に対するスーパーバイザー制御を活用したアプローチ ○長野聡一郎・山口真悟(山口大) MSS2013-76 |
抄録 |
(和) |
本稿ではTPハンドルをもつ自由選択ワークフローネットに対する健全化方法を提案する.
この問題の対象となるワークフローネットの多くは異常な終了状態を持つ.
そこで提案法では(1)異常な終了状態をスーパーバイザ制御を用いて禁止し,(2)異常な終了状態への遷移を正常な終了状態へ変更するようにネットへトランジションを追加する.
提案法に基づき手順を構築した.これにより先行研究では健全化できなかったネットも健全化できるようになった. |
(英) |
In this paper, we propose how to soundize free-choice workflow nets having TP-handles.
Such a workflow net usually has abnormal termination states.
So we (1) use supervisory control to prohibit those states.
and then (2) change the transitions from the abnormal termination states to the normal termination states.
We construct a procedure based on the idea.
This procedure enables us to soundize free-choice workflow nets with TP-handles which cannot be soundized in the previous work. |
キーワード |
(和) |
ペトリネット / ワークフローネット / 健全化 / スーパーバイザ制御 / / / / |
(英) |
Petri net / workflow net / soundization / supervisory control / / / / |
文献情報 |
信学技報, vol. 113, no. 466, MSS2013-76, pp. 7-12, 2014年3月. |
資料番号 |
MSS2013-76 |
発行日 |
2014-02-27 (MSS) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
MSS2013-76 |