Minoru TANAKA


A Model Checking Method of Soundness for Workflow Nets
Munenori YAMAGUCHI Shingo YAMAGUCHI Minoru TANAKA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2009/11/01
Vol. E92-A  No. 11  pp. 2723-2731
Type of Manuscript:  Special Section PAPER (Special Section on Theory of Concurrent Systems and its Applications)
Category: 
Keyword: 
model checkingtemporal logicworkflow netsasymmetric choiceWoflan
 Summary | Full Text:PDF(461.1KB)

WF-Net Based Modeling and Soundness Verification of Interworkflows
Shingo YAMAGUCHI Hajime MATSUO Qi-Wei GE Minoru TANAKA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2007/04/01
Vol. E90-A  No. 4  pp. 829-835
Type of Manuscript:  Special Section PAPER (Special Section on Selected Papers from the 19th Workshop on Circuits and Systems in Karuizawa)
Category: 
Keyword: 
interworkflowinteroperabilityworkflow netPetri netsoundness
 Summary | Full Text:PDF(402.7KB)

Complexity and a Heuristic Algorithm of Computing Parallel Degree for Program Nets with SWITCH-Nodes
Shingo YAMAGUCHI Tomohiro TAKAI Tatsuya WATANABE Qi-Wei GE Minoru TANAKA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2006/11/01
Vol. E89-A  No. 11  pp. 3207-3215
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent/Hybrid Systems: Theory and Applications)
Category: Concurrent Systems
Keyword: 
program netsparallel degreecomputation complexityNP-completeness
 Summary | Full Text:PDF(428.7KB)

Performance Evaluation on Worst Change Time of Flush and SCO Dynamic Changes for State Machine WF-Nets
Shingo YAMAGUCHI Katsuaki MIYAUCHI Qi-Wei GE Minoru TANAKA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2006/06/01
Vol. E89-A  No. 6  pp. 1701-1704
Type of Manuscript:  Special Section LETTER (Special Section on Papers Selected from 2005 International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC2005))
Category: 
Keyword: 
workflowdynamic changestate machine
 Summary | Full Text:PDF(166.7KB)

Dead Problem of Program Nets
Shingo YAMAGUCHI Kousuke YAMADA Qi-Wei GE Minoru TANAKA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2006/04/01
Vol. E89-A  No. 4  pp. 887-894
Type of Manuscript:  Special Section PAPER (Special Section on Selected Papers from the 18th Workshop on Circuits and Systems in Karuizawa)
Category: 
Keyword: 
program netsdeaddead problemcomputation complexityNP-completeness
 Summary | Full Text:PDF(388.7KB)

Merging of Systolic Messy Arrays Based on Data Flows
Makio ISHIHARA Hironori KIDA Minoru TANAKA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2006/02/01
Vol. E89-A  No. 2  pp. 639-643
Type of Manuscript:  LETTER
Category: General Fundamentals and Boundaries
Keyword: 
mergingsystolic messy arraysystolic arraydata flow
 Summary | Full Text:PDF(311.4KB)

A Flexible and Efficient Workflow Change Type: Selective Shift
Shingo YAMAGUCHI Akira MISHIMA Qi-Wei GE Minoru TANAKA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2005/06/01
Vol. E88-A  No. 6  pp. 1487-1496
Type of Manuscript:  Special Section PAPER (Special Section on Papers Selected from 2004 International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC 2004))
Category: 
Keyword: 
workflowsdynamic changeworkflow netsPetri netschange time
 Summary | Full Text:PDF(577KB)

Computation Methods of Maximum Throughput for MG/ SMWF-Nets with Conflict-Free Resources
Shingo YAMAGUCHI Keisuke KUNIYOSHI Qi-Wei GE Minoru TANAKA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2004/11/01
Vol. E87-A  No. 11  pp. 2868-2877
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent Systems and Hybrid Systems)
Category: Concurrent Systems
Keyword: 
workflowresourcethroughputworkflow netsPetri nets
 Summary | Full Text:PDF(319.8KB)

Modeling and Performance Evaluation on Change Time for Migrate Dynamic Workflow Changes
Shingo YAMAGUCHI Akira MISHIMA Qi-Wei GE Minoru TANAKA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2003/06/01
Vol. E86-A  No. 6  pp. 1466-1475
Type of Manuscript:  Special Section PAPER (Special Section on Papers Selected from 2002 International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC 2002))
Category: 
Keyword: 
workflowMigrate dynamic changemodelingperformance evaluationchange timePetri nets
 Summary | Full Text:PDF(464.2KB)

Performance Evaluation on Transient Time of Dynamic Workflow Changes
Shingo YAMAGUCHI Yuko SHIODE Qi-Wei GE Minoru TANAKA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2001/11/01
Vol. E84-A  No. 11  pp. 2852-2864
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent Systems Technology)
Category: 
Keyword: 
workflowdynamic changetransient timeperformance evaluationPetri net
 Summary | Full Text:PDF(601.1KB)

Performance Evaluation on Change Time of Dynamic Workflow Changes
Shingo YAMAGUCHI Qi-Wei GE Minoru TANAKA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2000/11/25
Vol. E83-A  No. 11  pp. 2177-2187
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent Systems Technology)
Category: 
Keyword: 
workflowdynamic changeperformance evaluationPetri networkflow net
 Summary | Full Text:PDF(843.5KB)