Japanese |
English
トップページへ戻る
掲載誌名 別一覧
-
健全なサイクリックWell-Structuredワークフローネットの可達性の多項式時間判定について
-
作成者 : 曲, 媛 / 山口, 真悟
掲載誌名 : 電子情報通信学会技術研究報告. MSS, システム数理と応用
巻 : 113
号 : 421
開始ページ : 47
終了ページ : 52
発行日 : 2014-01-23
リポジトリID : 2014010681
アクセス件数 : 356 件
ダウンロード件数 : 0 件
-
ワークフローネットの構造からフットプリントへの多項式時間変換法とその応用
-
作成者 : 西, 颯麻 / 山口, 真悟
掲載誌名 : 電子情報通信学会技術研究報告. MSS, システム数理と応用
巻 : 113
号 : 421
開始ページ : 35
終了ページ : 40
発行日 : 2014-01-23
リポジトリID : 2014010680
アクセス件数 : 405 件
ダウンロード件数 : 0 件
-
統計的ラフ集合手法によるif-thenルール導出に関する考察とシミュレーション実験
-
作成者 : 加藤, 裕一 / 佐伯, 徹郎
掲載誌名 : 電子情報通信学会技術研究報告. MSS, システム数理と応用
巻 : 113
号 : 421
開始ページ : 89
終了ページ : 94
発行日 : 2014-01-23
リポジトリID : 2014010682
アクセス件数 : 395 件
ダウンロード件数 : 0 件
-
順序木の類似度を評価する手法の提案 : C言語プログラムの類似性検証への応用
-
作成者 : 包, 胡日査 / 中田, 充 / 葛, 崎偉
掲載誌名 : 電子情報通信学会技術研究報告. MSS, システム数理と応用
巻 : 112
号 : 383
開始ページ : 61
終了ページ : 64
発行日 : 2013-01-15
リポジトリID : 2014010346
アクセス件数 : 770 件
ダウンロード件数 : 0 件
-
健全な拡張自由選択ワークフローネットの可達性の多項式時間判定について
-
作成者 : 加納, 大暉 / 山口, 真悟
掲載誌名 : 電子情報通信学会技術研究報告. MSS, システム数理と応用
巻 : 112
号 : 383
開始ページ : 17
終了ページ : 21
発行日 : 2013-01-15
リポジトリID : 2014010347
アクセス件数 : 479 件
ダウンロード件数 : 0 件
-
シグナル伝達経路の性質に基づく時間ペトリネットのトークン滞留なし条件の検討
-
作成者 : 村上, 祐樹 / 葛, 崎偉 / 松野, 浩嗣
掲載誌名 : 電子情報通信学会技術研究報告. MSS, システム数理と応用
巻 : 111
号 : 453(MSS2011 72-87)
開始ページ : 29
終了ページ : 34
発行日 : 2012-03-01
リポジトリID : 2012010373
アクセス件数 : 801 件
ダウンロード件数 : 0 件
-
C言語からペトリネットマークアップ言語への変換ツールC2PNMLとその応用例
-
作成者 : 谷口, 博彬 / 山口, 真悟 / 洲崎, 武史
掲載誌名 : 電子情報通信学会技術研究報告. MSS, システム数理と応用
巻 : 111
号 : 453(MSS2011 72-87)
開始ページ : 35
終了ページ : 40
発行日 : 2012-03-01
リポジトリID : 2012010372
アクセス件数 : 817 件
ダウンロード件数 : 0 件
-
CPN Toolsによるシングルカーマルチシャフトエレベータシステムのモデル化法と検査への応用
-
作成者 : 石田, 憲秀 / 山口, 真悟 / 上田, 滝平
掲載誌名 : 電子情報通信学会技術研究報告. MSS, システム数理と応用
巻 : 111
号 : 453(MSS2011 72-87)
開始ページ : 41
終了ページ : 46
発行日 : 2012-03-01
リポジトリID : 2012010375
アクセス件数 : 842 件
ダウンロード件数 : 0 件
[1]