書名で キーワードで

詳細検索 >>

HOME  > 情報工学  / シミュレーション  / シミュレーション  > 実例ペトリネット

書籍詳細

  実例ペトリネット
- その基礎からコンピュータツールまで -

▼ 目次を読む

▼ 目次をたたむ

椎塚久雄 工学院大教授 工博 著

発行年月日:1992/06/25 , 判 型: A5,  ページ数:302頁

ISBN:978-4-339-02301-5,  定 価:4,104円 (本体3,800円+税)

機械加工,ロボット動作,電力プラントの運転,オフィスシステムなどのシーケンス制御をモデル化してシミュレーションするペトリネットについて,基礎から具体的な応用までを,パソコン上で稼働するプログラムを掲載して解説した。

【目次】

1. ペトリネットへの誘い
 1.1 ペトリネットの出現
 1.2 離散事象システムペトリネット
 1.3 解析ツールとしてのペトリネット
 1.4 ゲーム感覚的にペトリネットを眺める
1. ペトリネットへの誘い
 1.1 ペトリネットの出現
 1.2 離散事象システムペトリネット
 1.3 解析ツールとしてのペトリネット
 1.4 ゲーム感覚的にペトリネットを眺める
 課題
2. 離散事象システム
 2.1 離散時間システムにおける時間進行
 2.2 離散事象システムとその特徴
 2.3 離散事象システムとペトリネットの対応
 課題
3. モデル化と解析の基礎
 3.1 事象と条件の2つの側面からシステムをとらえる
 3.2 ペトリネットの動的な性質
 3.3 ペトリネットによるモデル化
 3.4 ペトリネットの一般的な構造とその定義
 3.5 簡単なシステムのモデル化とシミュレーション例
 3.6 ペトリネットを解析するための基本問題
 課題
4. 時間および確率ペトリネット
 4.1 時間ペトリネット
 4.2 学生食堂のモデル化とシミュレーション事例
 4.3 性能評価
 4.4 確率過程
 4.5 連続時間マルコフ連鎖(CTMC)
 4.6 待ち行列
 4.7 待ち行列ネットワーク
 .8 確率ペトリネット(SPN)
 課題
5. ネットインバリアント
 5.1 諸定義
 5.2 P-インバリアントとT-インバリアント
 5.3 有界プレース容量をもつ非純P/Tネットへのインバリアントの概念の拡張
 5.4 応用の限界
 5.5 ネットインバリアントを求めるアルゴリズム
 課題
6. 生産システム(FMS)のモデル化
 6.1 ペトリネットとフレキシブル生産システム
 6.2 フレキシビリティと最適性
 6.3 FMSのためのCAEに関するネット
 6.4 FMSのためのCAMに関するネット
 6.5 フローショップ生産システム
 6.6 台車による輸送システム
 6.7 解析ツールとしてのペトリネットの利点と特徴
 課題
7. カラーペトリネット
 7.1 ペトリネットの不利な点
 7.2 カラーペトリネット
 7.3 カラーペトリネットによるモデル化
 7.4 フローショップのカラーペトリネットモデル
 7.5 AGVシステムのカラーペトリネットモデル
 7.6 カラーペトリネットによるモデル化の背景
 7.7 モデルの利用について
 課題
8. ペトリネットツール
 8.1 ペトリネットツールとその動向
 8.2 パソコンツールSANETのメインフレーム
 8.3 画面上の表示機能
 8.4 データ構造
 8.5 システム各部のフローチャート
 8.6 操作法
 8.7 グラフィックエディタによるネットモデルの作成例
 課題
付録 SANETのプログラムリスト
参考文献
索引

在庫は時期によりまして変動することがございますので、ご了承ください。