発行年2010 - 2014 キーワードPetri net
発行年
2010 - 2014 3
キーワード
Petri net 3 C2PNML 1 C言語 1 Extended free-choice 1 Petri net markup language 1 Polynomial time algorithm 1 Reachability 1 Well-structured 1 Workflow net 1 behavioral analysis 1 discrete event dynamic system 1 programming language C 1 reinforcement learning 1 translation 1 ペトリネット 1 ペトリネットマークアップ言語 1 動作解析 1 変換 1
もっと見る
元に戻す
種類
会議発表論文 2 学術雑誌論文 1
部局
大学院理工学研究科（工学） 3
検索結果 3 件
登録番号 (降順)
山口大学学術機関リポジトリYUNOCA
Polynomial time verification of reachability in sound extended free-choice workflow nets
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E97-A 巻 2 号
作成者 : 山口 真悟 出版者 : 電子情報通信学会 発行日 : 2014
山口大学学術機関リポジトリYUNOCA
C言語からペトリネットマークアップ言語への変換ツールC2PNMLとその応用例
電子情報通信学会技術研究報告. MSS, システム数理と応用 111 巻 453(MSS2011 72-87) 号
作成者 : 谷口 博彬 | 山口 真悟 | 洲崎 武史 出版者 : 電子情報通信学会 発行日 : 2012-03-01
山口大学学術機関リポジトリYUNOCA
A learning Petri net model based on reinforcement learning
Proceedings of the international symposium on artificial life and robotics 15 巻
作成者 : Feng Liang-Bing | 大林 正直 | 呉本 尭 | 小林 邦和 発行日 : 2010-02
関連作成者
山口 真悟 2 呉本 尭 1 大林 正直 1 小林 邦和 1
Copyright（C）2008-2018 山口県大学図書館協議会