ペトリネットの解析と応用
著者
書誌事項
ペトリネットの解析と応用
(アルゴリズム・シリーズ, 5)
近代科学社, 1992.12
- タイトル読み
-
ペトリネット ノ カイセキ ト オウヨウ
電子リソースにアクセスする 全1件
-
-
ペトリネットの解析と応用
1992
限定公開 -
ペトリネットの解析と応用
大学図書館所蔵 全186件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
この図書・雑誌をさがす
注記
参考文献: p196-198
内容説明・目次
目次
- 簡単なモデル化の例
- マーキングに依存する並行システムの性質
- 解析法
- 活性・安全性の判定条件
- 可達性判定条件
- 並行システムの構造的性質
- マークグラフの解析と合成
- 時間ペトリネットと確率ペトリネット
- 高レベルペトリネットと論理プログラム
「BOOKデータベース」 より