複数ジョブをもつ離散型並列生産システムのための動作モデルの提案

DOI Web Site Web Site 参考文献3件

書誌事項

タイトル別名
  • A Formal Behavior Model for Discrete Production Systems with Parallel Operation of Multiple Jobs
  • 複数ジョブをもつ離散型並列生産システムのための動作モデルの提案 : バッチ式化学プラントの動作検証への適用
  • フクスウ ジョブ オ モツ リサンガタ ヘイレツ セイサン システム ノ タメ ノ ドウサ モデル ノ テイアン : バッチシキ カガク プラント ノ ドウサ ケンショウ エ ノ テキヨウ
  • —Application to Verification of Chemical Batch Plant Operation—
  • —バッチ式化学プラントの動作検証への適用—

この論文をさがす

説明

A formal model named Expanded-Timed-State-Chart (ETSC) for expressing the complex behavior of a discrete production system (DPS), where multiple jobs are simultaneously carried out in parallel, was proposed by expanding Timed-State-Chart model. Making use of the model, event-driven simulation of DPS in formal fashion can conveniently be carried out, and so the verification method based on Model-Checking becomes applicable to DPS. In order to illustrate the usefulness of the model, computational experiments were carried out for verifying the validity of operations given to a target DPS, that is a multi-purpose chemical batch plant given by Japan Batch Forum. Some practical assumptions to reduce the “reachable-tree” to a restricted one have been introduced here in order to avoid the difficulty of combinatorial explosion, that intrinsically appears in the generation of Kripke-Structure of original DES.

収録刊行物

参考文献 (3)*注記

もっと見る

キーワード

詳細情報 詳細情報について

問題の指摘

ページトップへ