ペトリネットの解析と応用

著者

• 村田, 忠夫 ムラタ, タダオ

書誌事項

ペトリネットの解析と応用

村田忠夫著

（アルゴリズム・シリーズ, 5）

近代科学社, 1992.12

タイトル読み

ペトリネット ノ カイセキ ト オウヨウ

電子リソースにアクセスする 全1件

• ペトリネットの解析と応用

  1992

  NDLデジタルコレクション

  限定公開

注記

参考文献: p196-198

内容説明・目次

目次

• 簡単なモデル化の例
• マーキングに依存する並行システムの性質
• 解析法
• 活性・安全性の判定条件
• 可達性判定条件
• 並行システムの構造的性質
• マークグラフの解析と合成
• 時間ペトリネットと確率ペトリネット
• 高レベルペトリネットと論理プログラム

「BOOKデータベース」 より

詳細情報

• NII書誌ID(NCID): BN08411219
• ISBN:
  • 4764902044
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: 東京
• ページ数/冊数: vii, 203p
• 大きさ: 22cm
• 分類:
  • NDC8 : 007.61
  • NDC7 : 549.92
• 件名:
  • BSH : システム設計
  • NDLSH : システム分析
• 親書誌ID:
  • BN08210807