出版社内容情報
分散処理システムに対応したソフトウェア開発を実践的に解説。〔内容〕ペトリネットの基礎と理論／システム・ソフトウェア開発の方法／リアルタイム制御用ソフトウェアの設計法／システム・ソフトウェア開発の事例
【目次】
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. 索 引
【編集】
システム制御情報学会
【著者】
青 山 幹 雄， 内 平 直 志
平 石 邦 彦
内容説明
本書は、ペトリネットの最新の研究、開発成果を盛り込み、理論から開発方法まで一貫して解説する。とくに、システムとソフトウェア開発への適用に焦点をあてて解説する。
目次
１ ペトリネットの基礎と理論
２ ペトリネットによるシステム・ソフトウェア開発の方法
３ ペトリネットによるリアルタイム制御用ソフトウェアの設計法
４ ペトリネットによるシステム・ソフトウェア開発の事例
５ 今後の展望
