close
1.

図書

図書
常盤繁著
出版情報: 東京 : コロナ社, 2003.4  v, 298p, 図版1枚 ; 26cm
所蔵情報: loading…
2.

図書

図書
三重野博司著
出版情報: 東京 : ダイヤモンド社, 1969.5  xiv, 236p ; 21cm
所蔵情報: loading…
3.

図書

図書
A.L.フルタード,E.J.ノイホルト共著 ; 渡辺豊英訳
出版情報: 東京 : 啓学出版, 1988.1  xii, 177p ; 22cm
所蔵情報: loading…
4.

図書

東工大
目次DB

図書
東工大
目次DB
熊谷貞俊, 薦田憲久共著
出版情報: 東京 : コロナ社, 1995.3  viii, 160p ; 22cm
所蔵情報: loading…
目次情報: 続きを見る
1.ペトリネットと離散事象システム記述
   1.1 はじめに 1
   1.2 ペトリネットとは 2
   1.3 VISIシステム設計とペトリネット 7
2.ネット理論の基礎
   2.1 状態方程式と可達性 12
   2.1.1 状態機械の可達性 16
   2.1.2 マークグラフの可達性 19
   2.2 有界性,セーフ性,ライブ性 22
   引用・参考文献 30
3.離散事象システムの構造的性質
   3.1 LSFCネットの構造的性質と可達性 32
   3.2 ネットの構造的性質 40
   3.3 並行性に関する諸概念 45
   3.3.1 同期距離 45
   3.3.2 公平性 47
   3.3.3 最大並行度 49
   引用・参考文献 50
4.離散事象システムの階層化とネット表現
   4.1 離散事象システムの階層表現 51
   4.2 ネットモデルと階層化 52
   4.3 ネットの複合 65
   4.4 ネットの縮約 70
   引用・参考文献 72
5.離散事象システムヘの応用~ネットツールと応用例
   5.1 ネット理論の応用とネットツール 73
   5.2 ネットツールの特徴と機能 74
   5.2.1 グラフィックエディタ 74
   5.2.2 マトリクスエディタ 74
   5.2.3 定義エディタ 75
   5.2.4 シミュレーションツール 75
   5.2.5 可到達性解析ツール 75
   5.2.6 ネット構造解析ツール 75
   5.2.7 ネット縮約ツール 76
   5.2.8 高レベルネットアナライザ 76
   5.2.9 確率ペトリネットアナライザ 76
   5.2.10 階層化ツール 76
   5.3 ネットツールの現状 82
   5.4 具体例 : PCSSとK-NET 85
   引用・参考文献 93
6.ペトリネット応用の動向
   引用・参考文献 101
7.シーケンス制御への応用
   7.1 動向 103
   7.2 SCR 109
   7.2.1 C-net 109
   7.2.2 効率的インタプリタ 113
   7.2.3 SCRのシステム構成 115
   7.2.4 SCRの適用例と評価 118
   引用・参考文献 124
8.生産システムの計画への応用
   8.1 生産システムの特徴 125
   8.2 生産システムの設計への応用 127
   8.3 生産スケジューリングヘの応用 129
   引用・ 参考文献 133
9.情報処理の分野での応用
   9.1 動向 134
   9.2 通信プロトコルの検証 134
   9.3 制御用ソフトウェア仕様の検証 138
   9.4 通信プロトコルの性能評価揮 141
   9.5 分散プロセッサの性能評価 143
   9.6 計算機システムの運用方式の評価 146
   引用・参考文献 154
10.応用面からのペトリネット理論の課題と期待
1.ペトリネットと離散事象システム記述
   1.1 はじめに 1
   1.2 ペトリネットとは 2
5.

図書

図書
J.ニーバージェルト [ほか] 共著 ; 浦昭二, 近藤頌子共訳
出版情報: 東京 : 培風館, 1976.5  ix, 275p ; 22cm
所蔵情報: loading…
6.

図書

図書
小澤孝夫著
出版情報: 東京 : 昭晃堂, 1990.8  2, iii, 212p ; 22cm
所蔵情報: loading…
7.

図書

図書
穂鷹良介, 金玄坤共著
出版情報: 東京 : リックテレコム, 1996.5  171p ; 26cm
所蔵情報: loading…
8.

図書

図書
W.H.Inmon, Richard D.Hackathorn共著 ; 藤本康秀監訳
出版情報: 東京 : インターナショナル・トムソン・パブリッシング・ジャパン , 東京 : オーム社 (発売), 1996.7  xv, 261p ; 21cm
所蔵情報: loading…
9.

図書

図書
横山淳著
出版情報: 東京 : 杉山書店, 1974.5  148p ; 22cm
所蔵情報: loading…
10.

図書

図書
ジェームズ・マーチン著 ; 北原安定訳
出版情報: 東京 : 日本経営出版会, 1968.10  771p ; 22cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼