Petri网系统中的有效本原可重复向量集  

Effective Primitive Repetitive Vectors in Petri Net Systems

作　　者：岳昊[1] 

机构地区：[1]漳州师范学院计算机科学与工程系,福建漳州363000

出　　处：《太原师范学院学报（自然科学版）》2010年第4期51-54,共4页Journal of Taiyuan Normal University:Natural Science Edition

基　　金：福建省教育厅资助科技项目(JK2010037);国家自然科学基金资助项目(60673053);漳州师范学院博士科研启动基金资助项目

摘　　要：基于有效可重复向量,可以判定一个标准Petri网产生的语言是否为正规语言,或者是否为上下文无关语言.文章提出了Petri网系统(N,M0)中的有效本原可重复向量集(记为SEPRV(N,M0))的概念.文中分析了有效可重复向量的性质,并且指出SEPRV(N,M0)可以代表所有的有效可重复向量.Based on effective repetitive vectors,whether a Petri net language corresponding to the given standard Petri net is a formal language or a context-free language can be determined.Alternatively,this paper proposes the set of effective primitive repetitive vector of a Petri net（N,M0）,which is denoted with SEPRV（N,M0）.After the properties of effective repetitive vectors is analyzed,it is proved that SEPRV（N,M0） can also represent all the effective repetitive vectors.

关 键 词：PETRI网 可重复向量 有效 本原 

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