1 序論 |
1.1 モデル化 1 |
1.2 システムの特徴 2 |
1.3 ペトリネットの発展の初期 3 |
1.4 ペトリネット理論の応用について 5 |
1.5 応用および純粋ペトリネット理論 6 |
1.6 課題文献 7 |
1.7 課題研究 7 |
2 基礎的定義 |
2.1 ペトリネット構造 8 |
2.2 ペトリネットグラフ 11 |
2.3 ペトリネットのマーキング 16 |
2.4 ペトリネットにおける実行規則 18 |
2.5 ペトリネット状態空間 23 |
2.6 ペトリネットの定義の種々な形 27 |
2.7 課題文献 30 |
2.8 課題研究 30 |
3 ペトリネットによるモデル化 |
3.1 事象と条件 32 |
3.2 同時進行と競合 36 |
3.3 計算機ハードウェア 41 |
3.4 計算機ソフトウェア 55 |
3.5 その他のシステム 69 |
3.6 課題文献 76 |
3.7 課題研究 77 |
4 ペトリネットの解析 |
4.1 ペトリネットにおいて解析すべき問題 79 |
4.2 解析方法 90 |
4.3 課題文献 111 |
4.4 課題研究 112 |
5 複雑性と可解性 |
5.1 解析問題の間の帰着可能性 114 |
5.2 可達問題 119 |
5.3 制限されたペトリネット構造 124 |
5.4 活性と可達性 128 |
5.5 非可解な問題 132 |
5.6 可達問題の複雑性 144 |
5.7 課題文献 148 |
5.8 課題研究 149 |
6 ペトリネット言語 |
6.1 動機 150 |
6.2 関連する形式言語理論の諸概念 153 |
6.3 ペトリネット言語の定義 154 |
6.4 ペトリネット言語の性質 162 |
6.5 閉包性 167 |
6.6 ペトリネット言語とそれ以外の言語のクラス 179 |
6.7 その他の成果 186 |
6.8 課題文献 188 |
6.9 課題研究 188 |
7 拡張ペトリネットと限定ペトリネット |
7.1 ペトリネットによるモデル化の限界 191 |
7.2 拡張 197 |
7.3 拡張ペトリネットとレジスタ機械 202 |
7.4 ペトリネットのサブクラス 205 |
7.5 課題文献 211 |
7.6 課題研究 211 |
8 並列計算のモデル |
8.1 有限オートマトン 216 |
8.2 マークグラフ 216 |
8.3 計算グラフ 217 |
8.4 P/Vシステム 219 |
8.5 メッセージ伝送システム 222 |
8.6 UCLAグラフ 229 |
8.7 ベクトル加算およびベクトル交換システム 234 |
8.8 拡張ペトリネットモデル 237 |
8.9 課題文献 238 |
8.10 課題研究 238 |
付録A 多重集合論の要約 239 |
注釈付参考文献 243 |
訳者あとがき 286 |
さくいん 288 |