IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Online ISSN : 1745-1337
Print ISSN : 0916-8508
Special Section on Mathematical Systems Science and its Applications
Implicit Places and Refactoring in Sound Acyclic Extended Free Choice Workflow Nets
Ichiro TOYOSHIMAShingo YAMAGUCHIJia ZHANG
Author information
JOURNALS RESTRICTED ACCESS

2016 Volume E99.A Issue 2 Pages 502-508

Details
Abstract

Workflow nets (WF-nets for short) are a mathematical model of real world workflows. A WF-net is often updated in accordance with the change of real world. This may cause places that are redundant from the viewpoint of the behavior. Such places are called implicit. We first proposed a necessary and sufficient condition to find implicit places. Then we proved that removing of implicit places is a reduction operation which forms branching bisimilarity. We also constructed an algorithm for the reduction. Next, we applied the proposed reduction operation to WF-net refactoring. Then we showed the usefulness of the proposed refactoring with two examples.

Information related to the author
© 2016 The Institute of Electronics, Information and Communication Engineers
Previous article Next article
feedback
Top