文献
J-GLOBAL ID:201402282621058867
整理番号:14A0273466
堅固に拡張された自由選択ワークフローネットにおける可到達性の多項式時間検証
Polynomial Time Verification of Reachability in Sound Extended Free-Choice Workflow Nets
著者 (1件):
YAMAGUCHI Shingo
(Graduate School of Sci. and Engineering, Yamaguchi Univ.)
資料名:
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (Institute of Electronics, Information and Communication Engineers)
(IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (Institute of Electronics, Information and Communication Engineers))
巻:
E97-A
号:
2
ページ:
468-475 (J-STAGE)
発行年:
2014年
JST資料番号:
F0699C
ISSN:
0916-8508
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
日本 (JPN)
言語:
英語 (EN)