システム/情報 ネットインバリアントを用いたルールベースシステムのエラー検証法

• 稲積 宏誠

• 大本 周広

書誌事項

タイトル別名

• システム ジョウホウ ネットインバリアント オ モチイタ ルールベース システム ノ エラー ケンショウホウ

収録刊行物

• 計測自動制御学会論文集 = Transactions of the Society of Instrument and Control Engineers

  計測自動制御学会論文集 = Transactions of the Society of Instrument and Control Engineers 36 (9), 810-817, 2000-09

  東京 : 計測自動制御学会 ; [1965]-

キーワード

• Petri net
• transition invariant
• rule-base
• verification

詳細情報

• CRID: 1520009407911053824
• NII論文ID: 10004581980
• NII書誌ID: AN00072392
• ISSN: 04534654
• NDL書誌ID: 5486584
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I5486584
• 本文言語コード: ja
• NDL 雑誌分類:
  • ZM11(科学技術--科学技術一般--制御工学)
• データソース種別:
  • NDL
  • CiNii Articles