|
|
Shingo YAMAGUCHI
|
|
|
|
|
|
|
Refactoring Problem of Acyclic Extended Free-Choice Workflow Nets to Acyclic Well-Structured Workflow Nets
Shingo YAMAGUCHI
|
Publication: IEICE TRANSACTIONS on Information and Systems
Publication Date: 2012/05/01
Vol. E95-D
No. 5
pp. 1375-1379
Type of Manuscript: Special Section LETTER (Special Section on Formal Approach)
Category: Formal Methods
Keyword:
workflow net,
refactoring,
well-structured,
soundness,
branching bisimilarity,
|
| |
Summary |
Full Text:PDF
(231.8KB)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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:
workflow,
dynamic change,
state machine,
|
| |
Summary |
Full Text:PDF
(167.5KB)
|
|
|
|
|
|
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:
workflows,
dynamic change,
workflow nets,
Petri nets,
change time,
|
| |
Summary |
Full Text:PDF
(578.9KB)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
