科学技術と共に歩む

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のプログラムリスト
参考文献
索引