For detecting and solving the feature interaction (FI) problem in component composition,a Petri net model of component was proposed and the formal definitions of three component composition mechanisms were given. Based on the analysis of feature interaction problems probably appearing in each of three composition mechanisms, a Petri net based method was proposed to detect feature interaction. The method adopted different formal detection rules to different composition mechanisms. The case study showed that the method can effectively and efficiently detect the feature interaction and then help solving the feature interaction problem in component composition.
