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

Effective Primitive Repetitive Vectors in Petri Net Systems

基于有效可重复向量,可以判定一个标准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.