BOOK SEARCH
システム制御情報ライブラリー 13 ペトリネットの理論と実践
内容紹介
分散処理システムに対応したソフトウェア開発を実践的に解説。〔内容〕ペトリネットの基礎と理論/システム・ソフトウェア開発の方法/リアルタイム制御用ソフトウェアの設計法/システム・ソフトウェア開発の事例
編集部から
目次
1. ペトリネットの基礎と理論
1.1 ペトリネットとは
1.2 プレース/トランジションネット
1.3 時間/確率ペトリネット
1.4 高水準ペトリネット
1.5 他のモデルとの関係
1.6 大規模なシステムの解析
2. ペトリネットによるシステム・ソフトウェア開発の方法
2.1 システム・ソフトウェア開発とペトリネット
2.2 ペトリネットによるシステム開発の方法
2.3 プレース/トランジションネットによる設計方法
2.4 一般化確率ペトリネットによる設計方法
2.5 高水準ペトリネットによる設計方法
2.6 ペトリネットとオブジェクト指向
3. ペトリネットによるリアルタイム制御用ソフトウェアの設計法
3.1 リアルタイム制御用ソフトウェア設計とペトリネット
3.2 ネット指向ソフトウェア設計法
3.3 ペトリネットによる制御用プログラミング
4. ペトリネットによるシステム・ソフトウェア開発の事例
4.1 システム・ソフトウェア開発における適用分野
4.2 マルチプロセッサ分散処理システムの適用
4.3 リアルタイムシステムへの適用
4.4 分散データベースシステムへの適用
4.5 通信システムへの適用
4.6 高信頼性システムへの適用
4.7 並列論理プログラムへの適用
4.8 生産システムへの適用
4.9 CSCWとソフトウェアプロセスへの適用
4.10 高水準ペトリネットの適用
5. 今後の展望
6. 付 録
6.1 数学的記号・用語
6.2 ペトリネットツール
6.3 ペトリネットに関する解説書
7. 索 引
執筆者紹介
【編集】システム制御情報学会
【執筆者】青山幹雄,内平直志,平石邦彦