| Keyword : well-structured
| |
| |
|
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.2KB) | |
| |
|
|