コンテンツメニュー

Refactoring problem of acyclic extended free-choice workflow nets to acyclic well-structured workflow nets

IEICE transactions on information and systems Volume E95-D Issue 5 Page 1375-1379
published_at 2012-05
Title
Refactoring problem of acyclic extended free-choice workflow nets to acyclic well-structured workflow nets
Creators Yamaguchi Shingo
Creator Keywords
Branching bisimilarity Refactoring Soundness Well-structured Workflow net
Languages eng
Resource Type journal article
Publishers Institute of Electronics, Information and Communication Engineers
Date Issued 2012-05
File Version Not Applicable (or Unknown)
Access Rights metadata only access
Relations
[ISSN]0916-8532
[NCID]AA10826272
[NCID]AA11510321
info:doi/10.1587/transinf.E95.D.1375
[isVersionOf] [URI]http://ci.nii.ac.jp/vol_issue/nels/AA10826272_jp.html
Schools 大学院理工学研究科(工学)