サイトメニューここからこのページの先頭です

ショートカットキーの説明を開始します。画面遷移や機能実行は、説明にあるショートカットキーを同時に押した後、Enterキーを押してください。ショートカットキーの説明を聞くには、Alt+0。トップ画面の表示には、Alt+1。ログインを行うには、Alt+2。簡易検索画面の表示には、Alt+3。詳細検索画面の表示には、Alt+4。障害者向け資料検索画面の表示には、Alt+5。検索結果の並び替えを行うには、Alt+6。国立国会図書館ホームページの表示には、Alt+7。検索結果の絞り込みを行うには、Alt+8。以上でショートカットキーの説明を終わります。

ナビゲーションここから

ナビゲーションここまで

本文ここから

資料種別 記事・論文

Solvability for The Maximum Legal Firing Sequence Problem of Inhibitor-Arc Petri nets : Unweighted/Weighted Conflict-Free Petri nets

田岡 智志,落岩 諭,渡邉 敏正

詳細情報

タイトル Solvability for The Maximum Legal Firing Sequence Problem of Inhibitor-Arc Petri nets : Unweighted/Weighted Conflict-Free Petri nets
著者 田岡 智志
著者 落岩 諭
著者 渡邉 敏正
シリーズ名 ソフトウェアサイエンス
出版年 2014-01
別タイトル 禁止枝ペトリネットの最大発火系列問題に関する可解性 : 重みなし/あり無競合ペトリネット
件名(キーワード) ペトリネット
件名(キーワード) 発火系列問題
件名(キーワード) 可達問題
件名(キーワード) 抑止辺
件名(キーワード) 抑止ペトリネット
件名(キーワード) Petri nets
件名(キーワード) legal firing sequence problems reachability problems
件名(キーワード) inhibitor arcs
件名(キーワード) inhibitor Petri nets
対象利用者 一般
資料の種別 記事・論文
掲載誌情報(ISSN形式) 09135685
掲載誌情報(ISSNL形式) 09135685
掲載誌情報(URI形式) http://iss.ndl.go.jp/books/R100000002-I000000050569-00
掲載誌名 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報
掲載巻 113
掲載号 422
掲載ページ 41-45
言語(ISO639-2形式) eng : English

本文ここまで

Copyright © 2012 National Diet Library. All Rights Reserved.

フッター ここまで