ペトリネットとその応用
本書は，序，基礎編，理論編，応用編からなり，日本におけるペトリネットを中心とするネット理論研究の最前線の成果をまとめたものである。研究者にはハンドブック的に，初学者には全体の概要を掴み各々の課題に適用できるよう配慮。
- 発行年月日
- 1992/05/30
- 判型
- A5
- ページ数
- 324ページ
- ISBN
- 978-4-339-08346-0
- 内容紹介
- 目次
本書は，序，基礎編，理論編，応用編からなり，日本におけるペトリネットを中心とするネット理論研究の最前線の成果をまとめたものである。研究者にはハンドブック的に，初学者には全体の概要を掴み各々の課題に適用できるよう配慮。
序 ペトリネットとは
1. 基礎編
1. ペトリネットの理論的解析法
2. ペトリネット・インバリアントの基本的性質と計算法
3. 時間および確率ペトリネットとその応用
2. 理論編
1. 自由発火ペトリネットの記述能力
2. ペトリネットの構造と挙動
3. ペトリネットの解析問題の計算量
7. ペトリネットの発火系列決定法
3. 応用編1ーツールー
1. ペトリネットツール
4. 応用編2ー生産システムへの応用ー
1. MFG/PFG（離散生産システムとその制御の表現）
2. ペトリネットに基づくFAコントローラSCR
3. フレキシブル生産システムのモデリングとスケジューリング
4. 生産スケジューリング
5. 繰り返し工程スケジューリングへのタイム・ペトリネットの応用
6. 無人搬送システムの制御
5. 応用編3ー計算機への応用ー
1. ペトリネットによる計算機ジョブフローのモデリングと評価
2. SDLシミュレーション
3. ペトリネットと時相論理
4. ペトリネットと述語論理
6. 応用編4ー通信への応用ー
1. 通信ソフトウェアの仕様検証への応用
参考文献
索引
