Petri网在Email系统中特征交互检测的应用  

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

作　　者：李文翔[1] 

机构地区：[1]福建对外经济贸易职业技术学院信息技术系,福建福州350016

出　　处：《安庆师范学院学报（自然科学版）》2012年第4期44-48,共5页Journal of Anqing Teachers College(Natural Science Edition)

摘　　要：利用Petri网对Email系统的基本子系统以及添加自动回复特征后的系统模型进行描述,然后利用Petri网的状态方程对系统中存在的特征交互进行分析检测。In the paper, the base one of Email System and the system assembled the feature component named autoresponder are both described based on Petfi Nets. Then the interaction of this feature is analyzed and detected by state equation which is based on Petfi Nets.

关 键 词：PETRI网 状态方程 特征交互 EMAIL系统 

分 类 号：TP393.098[自动化与计算机技术—计算机应用技术]