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
Polynomial Time Verification of Protocol Inheritance between Acyclic Extended Free-Choice Workflow Nets and Their Subnets
Shingo YAMAGUCHITomohiro HIRAKAWA
Author information
JOURNAL RESTRICTED ACCESS

2013 Volume E96.A Issue 2 Pages 505-513

Details
Abstract

A workflow net N may be extended as another workflow net N´ by adding nodes and arcs. N´ is intuitively called a subclass of N under protocol inheritance if we cannot distinguish those behaviors when removing the added transitions. Protocol inheritance problem is to decide whether N´ is a subclass of N under protocol inheritance. It is known that the problem is decidable but is intractable. Even if N is a subnet of N´, N´ is not always a subclass of N under protocol inheritance. In this paper, limiting our analysis to protocol inheritance between acyclic extended free-choice workflow nets and their subnets, we gave a necessary and sufficient condition on the problem. Based on the condition, we also constructed a polynomial time procedure for solving the problem.

Content from these authors
© 2013 The Institute of Electronics, Information and Communication Engineers
Previous article Next article
feedback
Top