TANAKA Minoru | Graduate School of Science and Engineering, Yamaguchi University
スポンサーリンク
概要
関連著者
-
TANAKA Minoru
Graduate School of Science and Engineering, Yamaguchi University
-
Yamaguchi Shingo
Graduate School Of Science And Engineering Yamaguchi University
-
Tanaka Minoru
Graduate School Of Science And Engineering Yamaguchi University
-
Ge Q‐w
Yamaguchi Univ. Yamaguchi‐shi Jpn
-
Ge Qi-wei
Faculty Of Education Yamaguchi University
-
Yamaguchi S
Graduate School Of Science And Engineering Yamaguchi University
-
Tanaka M
Graduate School Of Science And Engineering Yamaguchi University
-
YAMAGUCHI Shingo
Graduate School of Science and Engineering, Yamaguchi University
-
Ge Qi‐wei
Faculty Of Education Yamaguchi University
-
Yamaguchi Shingo
Yamaguchi Univ. Ube‐shi Jpn
-
Matsuo Hajime
Dai Nippon Printing Co. Ltd.
-
TAKAI Tomohiro
Graduate School of Science and Engineering, Yamaguchi University
-
WATANABE Tatsuya
Fujitsu System Solutions, Ltd.
-
MIYAUCHI Katsuaki
Graduate School of Science and Engineering, Yamaguchi University
-
Takai Tomohiro
Graduate School Of Engineering Osaka Prefecture University
-
Takai Tomohiro
Graduate School Of Science And Engineering Yamaguchi University
-
Miyauchi Katsuaki
Graduate School Of Science And Engineering Yamaguchi University
-
Watanabe Tatsuya
Fujitsu System Solutions Ltd.
-
YAMAGUCHI Munenori
Graduate School of Science and Engineering, Yamaguchi University
-
Yamaguchi Munenori
Graduate School Of Science And Engineering Yamaguchi University
著作論文
- WF-Net Based Modeling and Soundness Verification of Interworkflows(Selected Papers from the 19th Workshop on Circuits and Systems in Karuizawa)
- Complexity and a Heuristic Algorithm of Computing Parallel Degree for Program Nets with SWITCH-Nodes(Concurrent Systems,Concurrent/Hybrid Systems: Theory and Applications)
- Performance Evaluation on Worst Change Time of Flush and SCO Dynamic Changes for State Machine WF-Nets(Papers Selected from 2005 International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC 2005))
- A Model Checking Method of Soundness for Workflow Nets