キーワード
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
