| ペトリネットの基礎と理論 1 |
| 1.1 ペトリネットとは 1 |
| 1.1.1 ペトリネットの分類 1 |
| 1.1.2 プレース/トランジションネットの定義 2 |
| 1.1.3 プレース/トランジションネットによるモデル化 7 |
| 1.1.4 プレース/トランジションネットの状態空間 8 |
| 1.1.5 有限容量ネット 9 |
| 1.2 プレース/トランジションネット 10 |
| 1.2.1 解析すべき性質 11 |
| 1.2.2 解析のための方法 15 |
| 1.2.3 グラフ構造的解析 23 |
| 1.3 時間/確率ペトリネット 34 |
| 1.3.1 時間ペトリネット 35 |
| 1.3.2 確率ペトリネット 37 |
| 1.3.3 一般化確率ペトリネット 37 |
| 1.4 高水準ペトリネット 41 |
| 1.4.1 高水準ペトリネットの必要性 43 |
| 1.4.2 カラーペトリネットの定義 44 |
| 1.4.3 カラーペトリネットの発火規則 46 |
| 1.4.4 カラーペトリネットに等価なプレース/トランジションネット 47 |
| 1.4.5 カラーペトリネットの階層表現 47 |
| 1.4.6 カラーペトリネットの解析方法 49 |
| 1.5 他のモデルとの関係 52 |
| 1.5.1 プロセス代数 52 |
| 1.5.2 時相論理 55 |
| 1.5.3 線形論理 57 |
| 1.6 大規模なシステムの解析 60 |
| 1.6.1 状態空間爆発の問題 60 |
| 1.6.2 ペトリネットの縮約 61 |
| 1.6.3 縮約状態空間の生成 63 |
| ペトリネットによるシステム・ソフトウェア開発の方法 71 |
| 2.1 システム・ソフトウェア開発とペトリネット 71 |
| 2.1.1 対象システムとペトリネット 71 |
| 2.1.2 システム開発方法とペトリネット 72 |
| 2.1.3 システム・ソフトウェア開発のプロセス 74 |
| 2.1.4 システム・ソフトウェア開発のプロセスにおける問題点 74 |
| 2.1.5 システムモデルへの要件 77 |
| 2.1.6 ペトリネットによる開発方法の特徴 77 |
| 2.2 ペトリネットによるシステム開発の方法 78 |
| 2.2.1 ペトリネットのシステム開発への適用アプローチ 78 |
| 2.2.2 分析 78 |
| 2.2.3 設計 81 |
| 2.2.4 検証 85 |
| 2.3 プレース/トランジションネットによる設計方法 89 |
| 2.3.1 踏切制御システムの問題 90 |
| 2.3.2 ペトリネットによる開発方法 90 |
| 2.3.3 システムのモデル化 91 |
| 2.3.4 到達可能木による安全性の分析 92 |
| 2.3.5 ペトリネットによる安全設計 93 |
| 2.3.6 障害のモデル化 96 |
| 2.3.7 障害の発生する踏切制御システムのモデル化 96 |
| 2.3.8 障害の発生する踏切制御システムの安全設計 98 |
| 2.3.9 踏切制御システムの安全設計のまとめ 101 |
| 2.4 一般化確率ペトリネットによる設計方法 102 |
| 2.4.1 対象マルチプロセッサシステム 102 |
| 2.4.2 一般化確率ペトリネットによるモデル化 103 |
| 2.4.3 一般化確率ペトリネットモデルの挙動 104 |
| 2.4.4 一般化確率ペトリネットによるシステムの性能評価 106 |
| 2.4.5 一般化確率ペトリネットモデルの簡略化 107 |
| 2.4.6 一般化確率ペトリネットと待ち行列ネットワーク 109 |
| 2.4.7 一般化確率ペトリネットによる設計のまとめ 110 |
| 2.5 高水準ペトリネットによる設計方法 110 |
| 2.5.1 高水準ペトリネットによる設計の意義 110 |
| 2.5.2 高水準ペトリネットによる設計方法 110 |
| 2.5.3 カラーペトリネットによる分析・設計方法のまとめ 122 |
| 2.6 ペトリネットとオブジェクト指向 123 |
| 3 ペトリネットによるリアルタイム制御用ソフトウェアの設計法 128 |
| 3.1 リアルタイム制御用ソフトウェア設計とペトリネット 128 |
| 3.1.1 制御用ソフトウェアの設計方法論 128 |
| 3.1.2 制御用ソフトウェア設計とペトリネット 136 |
| 3.1.3 制御用ソフトウェア設計とペトリネットのまとめ 141 |
| 3.2 ネット指向ソフトウェア設計法 141 |
| 3.2.1 三段階ネット指向設計法の概要 142 |
| 3.2.2 例による設計手順の説明 148 |
| 3.2.3 ネット指向ソフトウェア設計法の計算機支援 160 |
| 3.2.4 他の制御用ソフトウェア設計手法との比較 161 |
| 3.2.5 ネット指向ソフトウェア設計法のまとめ 162 |
| 3.3 ペトリネットによる制御用プログラミング 162 |
| 3.3.1 制御用プログラミング言語に必要なこと 163 |
| 3.3.2 ペトリネットによる制御用プログラミング言語 164 |
| 3.3.3 制御用ソフトウェアのプログラミング環境 170 |
| 3.3.4 ペトリネットによる制御用プログラミングのまとめ 176 |
| 4 ペトリネットによるシステム・ソフトウェア開発の事例 179 |
| 4.1 システム・ソフトウェア開発における適用分野 179 |
| 4.2 マルチプロセッサ分散処理システムへの適用 180 |
| 4.3 リアルタイムシステムへの適用 182 |
| 4.4 分散データベースシステムへの適用 182 |
| 4.4.1 分散DBMSの設計における要件 182 |
| 4.4.2 分散DBMSのモデル化と解析 182 |
| 4.5 通信システムへの適用 184 |
| 4.6 高信頼性システムへの適用 185 |
| 4.7 並列論理プログラムへの適用 186 |
| 4.8 生産システムへの適用 187 |
| 4.9 CSCWとソフトウェアプロセスへの適用 189 |
| 4.10 高水準ペトリネットの適用 190 |
| 5 今後の展望 196 |
| 付録A 数学的記号・用語 199 |
| 付録B ペトリネットツール 202 |
| B.1 Design/CPN 203 |
| B.2 GreatSPN 203 |
| B.3 Cabernet 205 |
| 付録C ペトリネットに関する解説書 208 |
| 索引 211 |
| ペトリネットの基礎と理論 1 |
| 1.1 ペトリネットとは 1 |
| 1.1.1 ペトリネットの分類 1 |
| 1.1.2 プレース/トランジションネットの定義 2 |
| 1.1.3 プレース/トランジションネットによるモデル化 7 |
| 1.1.4 プレース/トランジションネットの状態空間 8 |
