| IEICE Technical Committee Submission System Conference Schedule |
Online Proceedings [Sign in] Tech. Rep. Archives |
All Technical Committee Conferences (Searched in: All Years)
| Committee | Date Time | Place | Paper Title / Authors | Abstract | Paper # | |
| MSS | 2010-01-22 09:10 |
Aichi | Toyota Central R&D Labs. (Aichi) | A Refactoring-Based Method to Decide the Serializability of Acyclic Extended Free Choice Workflow Nets Shingo Yamaguchi, Shinji Hamano, Yuki Kuroda, Minoru Tanaka (Yamaguchi Univ.)  CST2009-45 |
Workflow management is to define a flow of work as a workflow,and to automate its instances. In a single workflow, ther... [more] |
CST2009-45 pp.45-48 |
| MSS, CAS | 2009-11-27 15:50 |
Aichi | Nagoya University (Aichi) | On Refactoring of Free-Choice Workflow Nets to Well-Structured Workflow Nets Yuki Kuroda, Shingo Yamaguchi, Minoru Tanaka (Yamaguchi Univ) CAS2009-60 CST2009-33 |
Workflow nets are Petri nets representing workflows. In this paper, we propose a problem to transform a free choice wo... [more] |
CAS2009-60 CST2009-33 pp.89-93 |
| MSS | 2009-06-04 14:50 |
Osaka | Setsunan University, Osaka Center (Osaka) | A Composition Rule under Behavioral Inheritance and Soundness for Workflow Nets Sharing Actions Yuki Watanabe, Shingo Yamaguchi, Ryo Ikeda, Minoru Tanaka (Yamaguchi Univ.) CST2009-9 |
[more] | CST2009-9 pp.49-52 |
| MSS | 2009-01-29 15:25 |
Kanagawa | Kanagawa Industrial Promotion Center (Kanagawa) | On Model Checking Method for Soundness Verification of Workflow Nets Munenori Yamaguchi, Shingo Yamaguchi, Minoru Tanaka (Yamaguchi Univ.) CST2008-46 |
A WF-net should have a property, called soundeness, which guarantees a logical correctness of the modeled workflow. In t... [more] | CST2008-46 pp.27-32 |
| MSS | 2009-01-29 15:50 |
Kanagawa | Kanagawa Industrial Promotion Center (Kanagawa) | On Analysis of Dynamic Change to Chained and Nested Interworkflows Tetsushi Narui, Shingo Yamaguchi, Qi-Wei Ge, Minoru Tanaka (Yamaguchi Univ.) CST2008-47 |
This paper deals with analysis of dynamic change of workflows to interworkflows. It is known that if the interoperabil... [more] |
CST2008-47 pp.33-38 |
| CAS, MSS | 2008-11-07 15:20 |
Osaka | Osaka University (Osaka) | On Soundization of Workflow Nets with Dead Transitions under Protocol Inheritance Ryo Ikeda, Shingo Yamaguchi, Minoru Tanaka (Yamaguchi Univ) CAS2008-62 CST2008-40 |
An extended workflow net (WF-net) must inherit the behavior of the original WF-net. Even if the extended WF-net meets ... [more] |
CAS2008-62 CST2008-40 pp.101-104 |
| MSS | 2008-08-04 13:50 |
Shizuoka | Shizuoka University (Hamamatsu Campus), Faculty of Engineering (Shizuoka) | On Petri-Net Based Check for Activity Diagrams of Device Drivers Taro Yamada, Shingo Yamaguchi, Minoru Tanaka (Yamaguchi Univ.) CST2008-14 |
UML/Activity diagrams are being used to design device drivers these days. In this paper, we propose a Petri net based pl... [more] | CST2008-14 pp.11-16 |
| MSS | 2008-06-03 11:40 |
Aichi | Nagoyo University, Noyori Conference Hall (Aichi) | A Proposal of Soundization Problem of WF-Nets and a Consideration Its Sub-problem under Protocol Inheritance Ryo Ikeda, Shingo Yamaguchi, Minoru Tanaka (Yamaguchi Univ.) CST2008-7 |
[more] | CST2008-7 pp.13-18 |
| MSS | 2008-01-29 14:45 |
Tokushima | The University of Tokushima (Tokushima) | On Verification of Marking-Dependent Terminacy for SWITCH-Less Program Nets Keisuke Komiya, Shingo Yamaguchi, Qi-Wei Ge, Minoru Tanaka (Yamaguchi Univ.) CST2007-55 |
In this paper, we discuss terminacy at the initial token distribution for (dataflow) program nets. Ge et al. have propo... [more] |
CST2007-55 pp.53-58 |
| MSS, CAS | 2007-11-29 13:25 |
Niigata | Niigata University (Niigata) | A Heuristic Algorithm to Compute Parallel Degree of Well-Structured Workflow Nets by Considering Longest Path Yuji Kaneko, Shingo Yamaguchi, Qi-Wei Ge, Minoru Tanaka (Yamaguchi Univ.) CAS2007-68 CST2007-19 |
In this paper, we propose a heuristic algorithm to compute parallel degree, PARAdeg, of a well-structured WF-net by cons... [more] | CAS2007-68 CST2007-19 pp.7-10 |
| MSS | 2007-08-31 13:25 |
Shimane | Shimane University (Shimane) | On Soundness Verification of Workflow Nets Using the SPIN Model Checker Munenori Yamaguchi, Shingo Yamaguchi, Minoru Tanaka (Yamaguchi Univ.) CST2007-12 |
Workflow nets (WF-nets) are Petri nets for modeling workflows, and are utilized to verification and performance evaluati... [more] | CST2007-12 pp.7-12 |
| SS | 2007-02-01 16:15 |
Aichi | Aichi Prefectural Univ. (Aichi) | On Delegation Based Design Method and Model Checking Method of Interrupt Processing Yoshinori Sugata, Shingo Yamaguchi, Ryuuich Kurisu, Minoru Tanaka (Yamaguchi Univ.) |
[more] | SS2006-77 pp.37-42 |
| MSS | 2007-01-26 13:50 |
Tokyo | Kikai-Shinko-Kaikan Bldg. (Tokyo) | On Structural Analysis and Approximate Computation of PARAdeg for Well-Structured Workflow Nets Yuji Kaneko, Shingo Yamaguchi, Qi-Wei Ge, Minoru Tanaka (Yamaguchi Univ.) |
[more] | CST2006-40 pp.13-18 |
| PRMU | 2006-12-15 15:45 |
Fukui | (Fukui) | An approach to Touch Screen using Image Distortion in Homograph Toru Futami (Yamaguchi Univ.), Makio Ishihara (Fukuoka Institute of Tech.), Minoru Tanaka (Yamaguchi Univ.) |
[more] | PRMU2006-181 pp.61-66 |
| CAS, MSS | 2006-11-20 11:05 |
Nagasaki | Nagasaki Univ. (Nagasaki) | On Evaluation and Application of PARAdeg of Acyclic Structured Program Nets Tomohiro Takai, Shingo Yamaguchi, Qi-Wei Ge, Minoru Tanaka (Yamaguchi Univ.) |
[more] | CAS2006-44 CST2006-20 pp.13-18 |
| ET | 2006-11-18 11:25 |
Ishikawa | (Ishikawa) | Learning Support System Based on Estimated Solving Process for Quadratic Equation Takashi Moriwaki (Yamaguchi Univ.), Akemi Takamoto (Ube Frontier Univ.), Minoru Tanaka (Yamaguchi Univ.) |
[more] | ET2006-55 pp.25-30 |
| MSS | 2006-07-26 14:15 |
Kyoto | Kyoto Institute of Technology (Kyoto) | On Computation Complexity of Worst Change Time and Performance Analysis for Abort Dynamic Changes of State Machine Workflow Nets Katsuaki Miyauchi, Shingo Yamaguchi, Qi-Wei Ge, Minoru Tanaka (Yamaguchi Univ.) |
[more] | CST2006-17 pp.43-48 |
| MSS | 2006-01-27 10:10 |
Kanagawa | Toshiba Kagaku-Kan (Kanagawa) | On Soundness and Parallel Degree of Workflow Nets Yuji Kaneko, Shingo Yamaguchi, Qi-Wei Ge, Minoru Tanaka (Yamaguchi Univ.) |
This paper discusses soundness and parallel degree of workflow nets (WF-nets). We first define parallel degree that is... [more] |
CST2005-41 pp.13-18 |
| ET | 2005-12-17 15:40 |
Fukuoka | (Fukuoka) | Attendance System using QR Code Reader Function of Cellular Phone Yoshikuni Kurosaki, Joji Kariya, Minoru Tanaka (Yamaguchi Univ.) |
In attendance by the lecture of the university, we aim at development of the system which lecturer takes attendance easi... [more] | ET2005-70 pp.75-80 |
| ET | 2005-10-15 16:35 |
Hiroshima | (Hiroshima) | Development and Evaluation of Learning Support System based on Learner's Intertest Yuuki Terada (Graduate school of Yamaguchi Univ.), Minoru Tanaka (Yamaguchi Univ.), Akemi Takamoto (Ube Frontier Univ.) |
It is desired for a learning support system to provide such ways that learners could keep up their motivation of learnin... [more] | ET2005-50 pp.69-74 |
[Return to Top Page]