発行年2010 - 2014 キーワードExtended free-choice 部局大学院理工学研究科（工学）
発行年
2010 - 2014 1
キーワード
Extended free-choice 1 Petri net 1 Polynomial time algorithm 1 Reachability 1 Well-structured 1 Workflow net 1
種類
学術雑誌論文 1
部局
大学院理工学研究科（工学） 1
検索結果 1 件
登録番号 (降順)
山口大学学術機関リポジトリ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
関連作成者
山口 真悟 1
Copyright（C）2008-2018 山口県大学図書館協議会