キーワード
behavioral inheritance
発行年
2010 - 2014
2
キーワード
behavioral inheritance
2
workflow net
2
necessary and sufficient condition
1
polynomial time procedure
1
polynomial time verification
1
protocol inheritance
1
subnet
1
workflow
1
ワークフロー
1
ワークフローネット
1
多項式時間判定
1
振舞い継承
1
もっと見る
元に戻す
種類
会議発表論文
1
学術雑誌論文
1
部局
大学院理工学研究科（工学）
2
検索結果 2 件
登録番号 (降順)
表示順
なし
登録番号(昇順)
登録番号(降順)
更新日 (昇順)
更新日 (降順)
公開日 (昇順)
公開日 (降順)
発行年月日 (昇順)
発行年月日 (降順)
山口大学学術機関リポジトリYUNOCA
Polynomial time verification of protocol inheritance between acyclic extended free-choice workflow nets and their subnets
IEICE transactions on fundamentals of electronics, communications and computer sciences E96-A 巻 2 号
作成者
: 山口 真悟 | Hirakawa Tomohiro
出版者
: 電子情報通信学会
発行日
: 2013-02
山口大学学術機関リポジトリYUNOCA
拡張自由選択ワークフローネットとそのサブネット間のProtocol継承の多項式時間判定について
電子情報通信学会技術研究報告. MSS, システム数理と応用 : IEICE technical report 111 巻 405(MSS2011 54-71) 号
作成者
: 平川 智悠 | 山口 真悟
出版者
: 電子情報通信学会
発行日
: 2012-01-19
関連作成者
山口 真悟
2
