| 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 | 2011-01-21 13:55 |
Yamaguchi | Kaikyo-Messe-Shimonoseki | Consistency Verification of Delay Times of Petri Net Based Signaling Pathways Yuki Murakami, Qi-Wei Ge, Shingo Yamaguchi, Hiroshi Matsuno (Yamaguchi Univ.)  CST2010-76 |
[more] | CST2010-76 pp.93-98 |
| MSS | 2011-01-21 15:40 |
Yamaguchi | Kaikyo-Messe-Shimonoseki | On Associativity of Composition Rules of Workflow Nets and Its Application Manato Hondo, Yuki Watanabe, Shingo Yamaguchi (Yamaguchi Univ.) CST2010-81 |
[more] | CST2010-81 pp.121-126 |
| MSS, CAS | 2010-11-18 10:30 |
Osaka | Kansai Univ. | On Soundness Verification for Workflow Nets with Inhibitor Arcs Yuki Shinohara, Shingo Yamaguchi (Yamaguchi Univ.) CAS2010-65 CST2010-38 |
There may be a precedence order among activities in a workflow.Such a workflow can be modeled as a workflow net with inh... [more] | CAS2010-65 CST2010-38 pp.1-5 |
| CAS, MSS, VLD, SIP | 2010-06-21 14:20 |
Hokkaido | Kitami Institute of Technology | On Parallel Composition of Workflow Nets Preserving Soundness and Behavioral Inheritance Yuki Watanabe, Shingo Yamaguchi (Yamaguchi Univ.) CAS2010-11 VLD2010-21 SIP2010-32 CST2010-11 |
[more] | CAS2010-11 VLD2010-21 SIP2010-32 CST2010-11 pp.59-62 |
| MSS | 2010-01-22 09:10 |
Aichi | Toyota Central R&D Labs. | 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 | 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 | 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-06-04 15:40 |
Osaka | Setsunan University, Osaka Center | A Summary of CST Solution Competition 2007 and 2008 Shingo Yamaguchi (Yamaguchi Univ.), Toshiyuki Miyamoto (Osaka Univ.), Naoshi Uchihira (Toshiba Co.), Qi-Wei Ge (Yamaguchi Univ.), Shinichi Honiden (NII) CST2009-11 |
CST Solution Competition is an industry-university cooperation activity for students, which is hosted by CST Technical... [more] |
CST2009-11 pp.59-64 |
| MSS | 2009-01-29 15:25 |
Kanagawa | Kanagawa Industrial Promotion Center | 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 | 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 | 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 | 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:15 |
Aichi | Nagoyo University, Noyori Conference Hall | CST Solution Competition 2007
-- Detailed Results of Computational Evaluation -- Toshiyuki Miyamoto (Osaka Univ.), Shingo Yamaguchi (Yamaguchi Univ.), Naoshi Uchihira (Toshiba Co.), Qi-Wei Ge (Yamaguchi Univ.), Shinichi Honiden (NII) CST2008-6 |
The CST Solution Competition 2007 gives student teams a problem of controlling a multi-car elevator (MCE). Each studen... [more] |
CST2008-6 pp.7-12 |
| MSS | 2008-06-03 11:40 |
Aichi | Nagoyo University, Noyori Conference Hall | 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 | 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 | 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, CAS | 2007-11-30 10:20 |
Niigata | Niigata University | CST Solution Competition 2007
-- Detail of Evaluation Tool -- Toshiyuki Miyamoto (Osaka Univ.), Shingo Yamaguchi (Yamaguchi Univ.) CAS2007-75 CST2007-26 |
The CST Solution Competition 2007 gives student teams a problem of controlling a multi-car elevator (MCE). Each studen... [more] |
CAS2007-75 CST2007-26 pp.13-18 |
| MSS | 2007-08-31 13:25 |
Shimane | Shimane University | 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. | 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. | 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 |
[Return to Top Page]