Petri-Net Based Detection Method for Non-Deterministic Feature Interactions and its Experimental Evaluation