Application of Petri Nets in Detecting the Feature Interactions in Email System

In the paper,the base one of Email System and the system assembled the feature component named autoresponder are both described based on Petri Nets.Then the interaction of this feature is analyzed and detected by state equation which is based on Petri Nets.