close
1.

図書

図書
James L. Peterson, Abraham Silberschatz
出版情報: Reading, Mass. : Addison-Wesley, 1985  xiv, 625 p. ; 25 cm
シリーズ名: Addison-Wesley series in computer science
所蔵情報: loading…
2.

図書

図書
James L. Peterson, Abraham Silberschatz
出版情報: Reading, Mass. : Addison-Wesley Pub. Co., c1983  548 p. ; 25 cm
所蔵情報: loading…
3.

図書

図書
James L. Peterson
出版情報: Berlin ; New York : Springer-Verlag, 1980  vi, 213 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 96
所蔵情報: loading…
4.

図書

図書
James L. Peterson
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1981  x, 290 p. ; 24 cm
所蔵情報: loading…
5.

図書

図書
J. L. ピーターソン, A. シルバーシャッツ共著 ; 宇津宮孝一, 福田晃共訳
出版情報: 東京 : 培風館, 1987.7-1987.9  2冊 ; 21cm
所蔵情報: loading…
6.

図書

東工大
目次DB

図書
東工大
目次DB
J.L.ピータースン著 ; 市川惇信, 小林重信訳
出版情報: 東京 : 共立出版, 1984.4  ix, 293p ; 22cm
所蔵情報: loading…
目次情報: 続きを見る
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
1 序論
   1.1 モデル化 1
   1.2 システムの特徴 2
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼