文献
J-GLOBAL ID：200902063043889498   整理番号：82A0082400

一般的ペトリネットの到達可能問題のアルゴリズム

An algorithm for the general Petri net reachability problem.
  • 出版者サイト 複写サービスで全文入手
  • 高度な検索・分析はJDreamⅢで {{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=82A0082400&from=J-GLOBAL&jstjournalNo=D0804A") }}
著者 (1件)：
MAYR E W

MAYR E W について

(Massachusetts Inst. Technology)

Massachusetts Inst. Technology について


資料名：
Proceedings of the Annual ACM Symposium on Theory of Computing  (Proceedings of the Annual ACM Symposium on Theory of Computing)

Proceedings of the Annual ACM Symposium on Theory of Computing について


巻： 13th  ページ： 238-246  発行年： 1981年 
JST資料番号： D0804A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)
抄録/ポイント：
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
開始マークと終了マークに関する対称性を利用した到達可能性判定...
シソーラス用語：
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ（有料）でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
Petriネット

Petriネット について

,...
   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=82A0082400&from=J-GLOBAL&jstjournalNo=D0804A") }}
分類 (2件)：
分類
JSTが定めた文献の分類名称とコードです
計算理論 
(JB02000A)

計算理論 について

,  システム設計・解析 
(IA02030D)

システム設計・解析 について

タイトルに関連する用語 (3件)：
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです
ペトリネット

ペトリネット について

, 
問題

問題 について

, 
アルゴリズム

アルゴリズム について


前のページに戻る

TOP

BOTTOM