統計的ラフ集合手法によるif-thenルール導出に関する考察とシミュレーション実験

作成者 : 加藤, 裕一 / 佐伯, 徹郎 掲載誌名 : 電子情報通信学会技術研究報告. MSS, システム数理と応用 巻 : 113 号 : 421 開始ページ : 89 終了ページ : 94 発行日 : 2014-01-23 リポジトリID : 2014010682
アクセス件数 ： 233 件 ダウンロード件数 ： 0 件

健全なサイクリックWell-Structuredワークフローネットの可達性の多項式時間判定について

作成者 : 曲, 媛 / 山口, 真悟 掲載誌名 : 電子情報通信学会技術研究報告. MSS, システム数理と応用 巻 : 113 号 : 421 開始ページ : 47 終了ページ : 52 発行日 : 2014-01-23 リポジトリID : 2014010681
アクセス件数 ： 197 件 ダウンロード件数 ： 0 件

ワークフローネットの構造からフットプリントへの多項式時間変換法とその応用

作成者 : 西, 颯麻 / 山口, 真悟 掲載誌名 : 電子情報通信学会技術研究報告. MSS, システム数理と応用 巻 : 113 号 : 421 開始ページ : 35 終了ページ : 40 発行日 : 2014-01-23 リポジトリID : 2014010680
アクセス件数 ： 243 件 ダウンロード件数 ： 0 件

健全な拡張自由選択ワークフローネットの可達性の多項式時間判定について

作成者 : 加納, 大暉 / 山口, 真悟 掲載誌名 : 電子情報通信学会技術研究報告. MSS, システム数理と応用 巻 : 112 号 : 383 開始ページ : 17 終了ページ : 21 発行日 : 2013-01-15 リポジトリID : 2014010347
アクセス件数 ： 252 件 ダウンロード件数 ： 0 件

順序木の類似度を評価する手法の提案 : C言語プログラムの類似性検証への応用

作成者 : 包, 胡日査 / 中田, 充 / 葛, 崎偉 掲載誌名 : 電子情報通信学会技術研究報告. MSS, システム数理と応用 巻 : 112 号 : 383 開始ページ : 61 終了ページ : 64 発行日 : 2013-01-15 リポジトリID : 2014010346
アクセス件数 ： 517 件 ダウンロード件数 ： 0 件

C言語からペトリネットマークアップ言語への変換ツールC2PNMLとその応用例

作成者 : 谷口, 博彬 / 山口, 真悟 / 洲崎, 武史 掲載誌名 : 電子情報通信学会技術研究報告. MSS, システム数理と応用 巻 : 111 号 : 453(MSS2011 72-87) 開始ページ : 35 終了ページ : 40 発行日 : 2012-03-01 リポジトリID : 2012010372
アクセス件数 ： 643 件 ダウンロード件数 ： 0 件

CPN Toolsによるシングルカーマルチシャフトエレベータシステムのモデル化法と検査への応用

作成者 : 石田, 憲秀 / 山口, 真悟 / 上田, 滝平 掲載誌名 : 電子情報通信学会技術研究報告. MSS, システム数理と応用 巻 : 111 号 : 453(MSS2011 72-87) 開始ページ : 41 終了ページ : 46 発行日 : 2012-03-01 リポジトリID : 2012010375
アクセス件数 ： 624 件 ダウンロード件数 ： 0 件

シグナル伝達経路の性質に基づく時間ペトリネットのトークン滞留なし条件の検討

作成者 : 村上, 祐樹 / 葛, 崎偉 / 松野, 浩嗣 掲載誌名 : 電子情報通信学会技術研究報告. MSS, システム数理と応用 巻 : 111 号 : 453(MSS2011 72-87) 開始ページ : 29 終了ページ : 34 発行日 : 2012-03-01 リポジトリID : 2012010373
アクセス件数 ： 619 件 ダウンロード件数 ： 0 件