一般ペトリネットにおける可達グラフ生成プロセスのメモリ効率化手法 (回路とシステム)

記事を表すアイコン

一般ペトリネットにおける可達グラフ生成プロセスのメモリ効率化手法

(回路とシステム)

国立国会図書館請求記号
Z16-940
国立国会図書館書誌ID
029386220
資料種別
記事
著者
藤森 浩平ほか
出版者
東京 : 電子情報通信学会
出版年
2018-11
資料形態
掲載誌名
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 118(295):2018.11.12・13
掲載ページ
p.43-47
すべて見る

書誌情報

この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。

資料種別
記事
著者・編者
藤森 浩平
張江 洋次朗
和崎 克己
シリーズタイトル
並列タイトル等
A Method for Improving Memory Efficiency of the Reachability Graph Generation Process in General Petri Nets
タイトル(掲載誌)
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報
巻号年月日等(掲載誌)
118(295):2018.11.12・13
掲載巻
118
掲載号
295