close
1.

図書

図書
システム制御情報学会編 ; 棟安実治, 田口亮著
出版情報: 東京 : 朝倉書店, 1999.3  ix, 193p ; 21cm
シリーズ名: システム制御情報ライブラリー / システム制御情報学会編 ; 19
所蔵情報: loading…
2.

図書

図書
システム制御情報学会編 ; 薦田憲久著
出版情報: 東京 : 朝倉書店, 1994.3  vi, 162p ; 21cm
シリーズ名: システム制御情報ライブラリー / システム制御情報学会編 ; 8
所蔵情報: loading…
3.

図書

東工大
目次DB

図書
東工大
目次DB
青山幹雄, 内平直志, 平石邦彦著
出版情報: 東京 : 朝倉書店, 1995.11  vi, 213p ; 21cm
シリーズ名: システム制御情報ライブラリー / システム制御情報学会編 ; 13
所蔵情報: loading…
目次情報: 続きを見る
ペトリネットの基礎と理論 1
   1.1 ペトリネットとは 1
   1.1.1 ペトリネットの分類 1
   1.1.2 プレース/トランジションネットの定義 2
   1.1.3 プレース/トランジションネットによるモデル化 7
   1.1.4 プレース/トランジションネットの状態空間 8
   1.1.5 有限容量ネット 9
   1.2 プレース/トランジションネット 10
   1.2.1 解析すべき性質 11
   1.2.2 解析のための方法 15
   1.2.3 グラフ構造的解析 23
   1.3 時間/確率ペトリネット 34
   1.3.1 時間ペトリネット 35
   1.3.2 確率ペトリネット 37
   1.3.3 一般化確率ペトリネット 37
   1.4 高水準ペトリネット 41
   1.4.1 高水準ペトリネットの必要性 43
   1.4.2 カラーペトリネットの定義 44
   1.4.3 カラーペトリネットの発火規則 46
   1.4.4 カラーペトリネットに等価なプレース/トランジションネット 47
   1.4.5 カラーペトリネットの階層表現 47
   1.4.6 カラーペトリネットの解析方法 49
   1.5 他のモデルとの関係 52
   1.5.1 プロセス代数 52
   1.5.2 時相論理 55
   1.5.3 線形論理 57
   1.6 大規模なシステムの解析 60
   1.6.1 状態空間爆発の問題 60
   1.6.2 ペトリネットの縮約 61
   1.6.3 縮約状態空間の生成 63
ペトリネットによるシステム・ソフトウェア開発の方法 71
   2.1 システム・ソフトウェア開発とペトリネット 71
   2.1.1 対象システムとペトリネット 71
   2.1.2 システム開発方法とペトリネット 72
   2.1.3 システム・ソフトウェア開発のプロセス 74
   2.1.4 システム・ソフトウェア開発のプロセスにおける問題点 74
   2.1.5 システムモデルへの要件 77
   2.1.6 ペトリネットによる開発方法の特徴 77
   2.2 ペトリネットによるシステム開発の方法 78
   2.2.1 ペトリネットのシステム開発への適用アプローチ 78
   2.2.2 分析 78
   2.2.3 設計 81
   2.2.4 検証 85
   2.3 プレース/トランジションネットによる設計方法 89
   2.3.1 踏切制御システムの問題 90
   2.3.2 ペトリネットによる開発方法 90
   2.3.3 システムのモデル化 91
   2.3.4 到達可能木による安全性の分析 92
   2.3.5 ペトリネットによる安全設計 93
   2.3.6 障害のモデル化 96
   2.3.7 障害の発生する踏切制御システムのモデル化 96
   2.3.8 障害の発生する踏切制御システムの安全設計 98
   2.3.9 踏切制御システムの安全設計のまとめ 101
   2.4 一般化確率ペトリネットによる設計方法 102
   2.4.1 対象マルチプロセッサシステム 102
   2.4.2 一般化確率ペトリネットによるモデル化 103
   2.4.3 一般化確率ペトリネットモデルの挙動 104
   2.4.4 一般化確率ペトリネットによるシステムの性能評価 106
   2.4.5 一般化確率ペトリネットモデルの簡略化 107
   2.4.6 一般化確率ペトリネットと待ち行列ネットワーク 109
   2.4.7 一般化確率ペトリネットによる設計のまとめ 110
   2.5 高水準ペトリネットによる設計方法 110
   2.5.1 高水準ペトリネットによる設計の意義 110
   2.5.2 高水準ペトリネットによる設計方法 110
   2.5.3 カラーペトリネットによる分析・設計方法のまとめ 122
   2.6 ペトリネットとオブジェクト指向 123
3 ペトリネットによるリアルタイム制御用ソフトウェアの設計法 128
   3.1 リアルタイム制御用ソフトウェア設計とペトリネット 128
   3.1.1 制御用ソフトウェアの設計方法論 128
   3.1.2 制御用ソフトウェア設計とペトリネット 136
   3.1.3 制御用ソフトウェア設計とペトリネットのまとめ 141
   3.2 ネット指向ソフトウェア設計法 141
   3.2.1 三段階ネット指向設計法の概要 142
   3.2.2 例による設計手順の説明 148
   3.2.3 ネット指向ソフトウェア設計法の計算機支援 160
   3.2.4 他の制御用ソフトウェア設計手法との比較 161
   3.2.5 ネット指向ソフトウェア設計法のまとめ 162
   3.3 ペトリネットによる制御用プログラミング 162
   3.3.1 制御用プログラミング言語に必要なこと 163
   3.3.2 ペトリネットによる制御用プログラミング言語 164
   3.3.3 制御用ソフトウェアのプログラミング環境 170
   3.3.4 ペトリネットによる制御用プログラミングのまとめ 176
4 ペトリネットによるシステム・ソフトウェア開発の事例 179
   4.1 システム・ソフトウェア開発における適用分野 179
   4.2 マルチプロセッサ分散処理システムへの適用 180
   4.3 リアルタイムシステムへの適用 182
   4.4 分散データベースシステムへの適用 182
   4.4.1 分散DBMSの設計における要件 182
   4.4.2 分散DBMSのモデル化と解析 182
   4.5 通信システムへの適用 184
   4.6 高信頼性システムへの適用 185
   4.7 並列論理プログラムへの適用 186
   4.8 生産システムへの適用 187
   4.9 CSCWとソフトウェアプロセスへの適用 189
   4.10 高水準ペトリネットの適用 190
5 今後の展望 196
付録A 数学的記号・用語 199
付録B ペトリネットツール 202
   B.1 Design/CPN 203
   B.2 GreatSPN 203
   B.3 Cabernet 205
付録C ペトリネットに関する解説書 208
索引 211
ペトリネットの基礎と理論 1
   1.1 ペトリネットとは 1
   1.1.1 ペトリネットの分類 1
4.

図書

図書
IEEE Control Systems Society, Society of Instrument and Control Engineers, Institute of Systems, Control and Information Engineers
出版情報: Piscataway : IEEE Service Center, c1996  4 v. (4858 p.) ; 28 cm
所蔵情報: loading…
5.

図書

図書
sponsors, the American Society of Mechanical Engineers [and] Institute of Systems, Control, and Information Engineers of Japan ; edited by kim Stelson, Fuminori Oba
出版情報: New York : American Society of Mechanical Engineers, c1996  2 v. ; 28 cm
所蔵情報: loading…
6.

図書

図書
The conference is organized under the co-sponsorship of The Steering Committee of Asian Control Conference(ASCC), Society of Instrument and Control Engineers(SICE), Institute of Systems, Control and Information Engineers(ISICE) ; in cooperation with International Federation of Automatic Control(IFAC) ; supported by Ministry of International Trade and Industry, Tokyo Metropolitan Government, Tokyo Metropolitan Government Association of City Mayors, Tokyo Metropolis Association of Towns and Villages
出版情報: Tokyo, Japan : Waseda Univ., c1994  3 v. ; 30 cm
所蔵情報: loading…
7.

図書

図書
sponsoring societies, the American Society of Mechanical Engineers [and] Institute of Systems, Control, and Information Engineers of Japan ; participating societies, IEEE Robotics and Automation Society ... [et al.] ; editor, Ming Leu
出版情報: New York : American Society of Mechanical Engineers , Kyoto : Institute of Systems, Control, and Information Engineers, c1992-  2 v. ; 28 cm
所蔵情報: loading…
8.

図書

図書
sponsored by the American Society of Mechanical Engineers, USA and the Institute of Systems, Control, and Information Engineers, Japan : held in Minneapolis, Minnesota, July 18-20, 1988
出版情報: New York, N.Y. : American Society of Mechanical Engineers, c1988  2 v. (xvi, 1157 p.) ; 28 cm
所蔵情報: loading…
9.

図書

図書
西村敏充, 狩野弘之著 ; システム制御情報学会編
出版情報: 東京 : 朝倉書店, 1996.9  v, 195p ; 22cm
シリーズ名: システム制御情報ライブラリー / システム制御情報学会編 ; 14
所蔵情報: loading…
10.

図書

図書
片山徹著 ; システム制御情報学会編
出版情報: 東京 : 朝倉書店, 1994.5  vi, 196p ; 21cm
シリーズ名: システム制御情報ライブラリー / システム制御情報学会編 ; 9
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼