On projection inheritance between acyclic extended free-choice workflow net and its subnet

A workflow net N may be extended as another workflow net N' by adding places, transitions, and arcs. N' is intuitively called a subclass of N under projection inheritance if we cannot distinguish the behaviors of N and N' when ignoring the firing of the transitions newly added to N. Projection inheritance problem is to decide whether N' is a subclass of N under projection 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 projection inheritance. In this paper, limiting our analysis to projection 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.