Japanese | English

トップページへ戻る

作成者ヨミ 別一覧


Multi-car multi-shaft elevator system design problem and a solution method using CPN Tools
作成者 : Yamaguchi, Shingo / Ishida, Norihide 掲載誌名 : Information 巻 : 17 号 : 6 B 開始ページ : 2855 終了ページ : 2863 発行日 : 2014-06 リポジトリID : 2014010730
アクセス件数 : 410 件 ダウンロード件数 : 0 件
健全なサイクリックWell-Structuredワークフローネットの可達性の多項式時間判定について
作成者 : 曲, 媛 / 山口, 真悟 掲載誌名 : 電子情報通信学会技術研究報告. MSS, システム数理と応用 巻 : 113 号 : 421 開始ページ : 47 終了ページ : 52 発行日 : 2014-01-23 リポジトリID : 2014010681
アクセス件数 : 205 件 ダウンロード件数 : 0 件
ワークフローネットの構造からフットプリントへの多項式時間変換法とその応用
作成者 : 西, 颯麻 / 山口, 真悟 掲載誌名 : 電子情報通信学会技術研究報告. MSS, システム数理と応用 巻 : 113 号 : 421 開始ページ : 35 終了ページ : 40 発行日 : 2014-01-23 リポジトリID : 2014010680
アクセス件数 : 252 件 ダウンロード件数 : 0 件
Polynomial time verification of reachability in sound extended free-choice workflow nets
作成者 : Yamaguchi, Shingo 掲載誌名 : IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences 巻 : E97-A 号 : 2 開始ページ : 468 終了ページ : 475 発行日 : 2014 リポジトリID : 2014010165
アクセス件数 : 363 件 ダウンロード件数 : 0 件
Reduction operators based on behavioral inheritance for timed Petri nets
作成者 : Toyoshima, Ichiro / Nakano, Shota / Yamaguchi, Shingo 掲載誌名 : IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences 巻 : E97-A 号 : 2 開始ページ : 484 終了ページ : 489 発行日 : 2014 リポジトリID : 2014010164
アクセス件数 : 333 件 ダウンロード件数 : 0 件
Polynomial time verification of protocol inheritance between acyclic extended free-choice workflow nets and their subnets
作成者 : Yamaguchi, Shingo / Hirakawa, Tomohiro 掲載誌名 : IEICE transactions on fundamentals of electronics, communications and computer sciences 巻 : E96-A 号 : 2 開始ページ : 505 終了ページ : 513 発行日 : 2013-02 リポジトリID : 2012011322
アクセス件数 : 514 件 ダウンロード件数 : 0 件
健全な拡張自由選択ワークフローネットの可達性の多項式時間判定について
作成者 : 加納, 大暉 / 山口, 真悟 掲載誌名 : 電子情報通信学会技術研究報告. MSS, システム数理と応用 巻 : 112 号 : 383 開始ページ : 17 終了ページ : 21 発行日 : 2013-01-15 リポジトリID : 2014010347
アクセス件数 : 267 件 ダウンロード件数 : 0 件
山口大学における産学連携によるIT人材基礎力養成講座
作成者 : 山口, 真悟 / 田村, 慶信 / 河村, 圭 / 浜本, 義彦 / 今村, 哲也 / 津村, 利幸 / 吉田, 尚 / 大島, 信幸 掲載誌名 : 工学教育 巻 : 61 号 : 4 開始ページ : 4_125 終了ページ : 4_130 発行日 : 2013 リポジトリID : 2014010011
アクセス件数 : 367 件 ダウンロード件数 : 0 件
Acyclic Well-Structuredワークフローネットの拡張とその健全性について
作成者 : 呉, 歓 / 山口, 真悟 掲載誌名 : 電子情報通信学会技術研究報告 巻 : 112 号 : 274 開始ページ : 75 終了ページ : 79 発行日 : 2012-11-01 リポジトリID : 2013010003
アクセス件数 : 437 件 ダウンロード件数 : 0 件
ペトリネットの状態数の多項式時間計算について : 有界性と入れ子構造を活用したアプローチ
作成者 : 洲崎, 武史 / 山口, 真悟 掲載誌名 : 情報処理学会研究報告. AL, アルゴリズム研究会報告 巻 : 2012-AL-142 号 : 3 開始ページ : 1 終了ページ : 6 発行日 : 2012-10-26 リポジトリID : 2012010870
アクセス件数 : 555 件 ダウンロード件数 : 0 件
ペトリネットの状態数計算問題の一考察
作成者 : 洲崎, 武史 / 山口, 真悟 掲載誌名 : 電子情報通信学会ソサイエティ大会講演論文集 巻 : 2012 号 : 開始ページ : 146 終了ページ : 146 発行日 : 2012-08-28 リポジトリID : 2013010341
アクセス件数 : 502 件 ダウンロード件数 : 0 件
An efficient translation method from timed petri nets to timed automata
作成者 : Nakano, Shota / Yamaguchi, Shingo 掲載誌名 : IEICE transactions on fundamentals of electronics, communications and computer sciences 巻 : E95-A 号 : 8 開始ページ : 1402 終了ページ : 1411 発行日 : 2012-08 リポジトリID : 2012010595
アクセス件数 : 505 件 ダウンロード件数 : 0 件
Refactoring problem of acyclic extended free-choice workflow nets to acyclic well-structured workflow nets
作成者 : Yamaguchi, Shingo 掲載誌名 : IEICE transactions on information and systems 巻 : E95-D 号 : 5 開始ページ : 1375 終了ページ : 1379 発行日 : 2012-05 リポジトリID : 2012010280
アクセス件数 : 509 件 ダウンロード件数 : 0 件
時間ペトリネットから時間オートマトンへのコンパクトな変換について
作成者 : 山口, 真悟 / 中野, 翔太 掲載誌名 : 電子情報通信学会総合大会講演論文集 巻 : 2012 号 : 開始ページ : 206 終了ページ : 206 発行日 : 2012-03-06 リポジトリID : 2012010825
アクセス件数 : 594 件 ダウンロード件数 : 0 件
C言語からペトリネットマークアップ言語への変換ツールC2PNMLとその応用例
作成者 : 谷口, 博彬 / 山口, 真悟 / 洲崎, 武史 掲載誌名 : 電子情報通信学会技術研究報告. MSS, システム数理と応用 巻 : 111 号 : 453(MSS2011 72-87) 開始ページ : 35 終了ページ : 40 発行日 : 2012-03-01 リポジトリID : 2012010372
アクセス件数 : 656 件 ダウンロード件数 : 0 件
CPN Toolsによるシングルカーマルチシャフトエレベータシステムのモデル化法と検査への応用
作成者 : 石田, 憲秀 / 山口, 真悟 / 上田, 滝平 掲載誌名 : 電子情報通信学会技術研究報告. MSS, システム数理と応用 巻 : 111 号 : 453(MSS2011 72-87) 開始ページ : 41 終了ページ : 46 発行日 : 2012-03-01 リポジトリID : 2012010375
アクセス件数 : 637 件 ダウンロード件数 : 0 件
拡張自由選択ワークフローネットとそのサブネット間のProtocol継承の多項式時間判定について
作成者 : 平川, 智悠 / 山口, 真悟 掲載誌名 : 電子情報通信学会技術研究報告. MSS, システム数理と応用 : IEICE technical report 巻 : 111 号 : 405(MSS2011 54-71) 開始ページ : 33 終了ページ : 38 発行日 : 2012-01-19 リポジトリID : 2012010402
アクセス件数 : 452 件 ダウンロード件数 : 0 件
リスクパターンベースの構築とプロジェクト実践授業におけるリスク特定への応用 (<特集>プロジェクトと組織のリスク)
作成者 : 浦中, 裕也 / 山口, 真悟 / 丸山, 雄也 掲載誌名 : プロジェクトマネジメント学会誌 巻 : 13 号 : 4 開始ページ : 14 終了ページ : 19 発行日 : 2011-08-15 リポジトリID : 2011010380
アクセス件数 : 631 件 ダウンロード件数 : 0 件
情報付き立方体世界の一考察
作成者 : 石原, 真紀夫 / 田中, 稔 / 山口, 真悟 掲載誌名 : 山口大学工学部研究報告 巻 : 50 号 : 2 開始ページ : 143 終了ページ : 148 発行日 : 2000-03 リポジトリID : A030050000208
アクセス件数 : 494 件 ダウンロード件数 : 560 件
ワークフロー部品を用いたワークフロー合成方式
作成者 : 山口, 真悟 / 田中, 稔 掲載誌名 : 山口大学工学部研究報告 巻 : 49 号 : 2 開始ページ : 261 終了ページ : 266 発行日 : 1999 リポジトリID : KJ00000157175
アクセス件数 : 460 件 ダウンロード件数 : 543 件

[1]  [2]