Petri网位置不变量的几何意义

Geometrical significance of the Petri net place invariance

引入了Petri网路增益及位置不变量并运算的概念 ,建立了路增益与位置不变量之间的联系以及路、基本圈与它们对应的位置不变量之间的关系 ,给出了Petri网图形运算与位置不变量运算之间的关系 .证明了加权状态机位置不变量存在的充要条件 ,揭示了Petri网位置不变量的几何意义 .

The Petri net concepts of path gains and merge operation for the place invariance are introduced. The relations between path gain and place invariants and between paths, basic circles and their corresponding place invariants are presented. Also the relation betwteen the Petri net figure operation and the place invariant operation is established. And a sufficient and necessary condition for the existence of place invariants for a weighted state machine is proved. The Petri net geometrical significance of place invariants is unveiled.