キーワードペトリネット 部局大学院理工学研究科（工学）
発行年
2010 - 2014 4
キーワード
ペトリネット 4 ワークフローネット 3 可達性 2 C2PNML 1 C言語 1 Petri net 1 Petri net markup language 1 behavioral analysis 1 programming language C 1 releasing 1 translation 1 スーパークラス抽出 1 フットプリント 1 ペトリネットマークアップ言語 1 動作解析 1 変換 1 多項式時間 1 多項式時間アルゴリズム 1
もっと見る
元に戻す
種類
学術雑誌論文 3 会議発表論文 1
部局
大学院理工学研究科（工学） 4 大学院理工学研究科 2
検索結果 4 件
登録番号 (降順)
山口大学学術機関リポジトリYUNOCA
健全なサイクリックWell-Structuredワークフローネットの可達性の多項式時間判定について
電子情報通信学会技術研究報告. MSS, システム数理と応用 113 巻 421 号
作成者 : 曲 媛 | 山口 真悟 出版者 : 電子情報通信学会 発行日 : 2014-01-23
山口大学学術機関リポジトリYUNOCA
ワークフローネットの構造からフットプリントへの多項式時間変換法とその応用
電子情報通信学会技術研究報告. MSS, システム数理と応用 113 巻 421 号
作成者 : 西 颯麻 | 山口 真悟 出版者 : 電子情報通信学会 発行日 : 2014-01-23
山口大学学術機関リポジトリYUNOCA
健全な拡張自由選択ワークフローネットの可達性の多項式時間判定について
電子情報通信学会技術研究報告. MSS, システム数理と応用 112 巻 383 号
作成者 : 加納 大暉 | 山口 真悟 出版者 : 電子情報通信学会 発行日 : 2013-01-15
山口大学学術機関リポジトリYUNOCA
C言語からペトリネットマークアップ言語への変換ツールC2PNMLとその応用例
電子情報通信学会技術研究報告. MSS, システム数理と応用 111 巻 453(MSS2011 72-87) 号
作成者 : 谷口 博彬 | 山口 真悟 | 洲崎 武史 出版者 : 電子情報通信学会 発行日 : 2012-03-01
関連作成者
山口 真悟 4
Copyright（C）2008-2018 山口県大学図書館協議会