キーワードWorkflow net 種類学術雑誌論文 部局大学院理工学研究科（工学）
発行年
2010 - 2014 2
キーワード
Well-structured 2 Workflow net 2 Branching bisimilarity 1 Extended free-choice 1 Petri net 1 Polynomial time algorithm 1 Reachability 1 Refactoring 1 Soundness 1
種類
学術雑誌論文 2
部局
大学院理工学研究科（工学） 2
検索結果 2 件
登録番号 (降順)
山口大学学術機関リポジトリ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
Refactoring problem of acyclic extended free-choice workflow nets to acyclic well-structured workflow nets
IEICE transactions on information and systems E95-D 巻 5 号
作成者 : 山口 真悟 出版者 : Institute of Electronics, Information and Communication Engineers 発行日 : 2012-05
関連作成者
山口 真悟 2
Copyright（C）2008-2018 山口県大学図書館協議会