| 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 |
