整数环上的Farkas引理及其应用

Farkas Lemma in Ring of Integers and Its Application

将实数域上的Farkas引理进行推广,提出整数环上的Farkas引理.之后,利用整数环上的Farkas引理证明了一个有关Petri网结构有界性的判定定理.

According to the Farkas Lemma in field of real numbers, a new kind of Farkas Lemma in ring of integers are introduced in this paper. After that, a theorem to determine the structural boundedness of Petri nets is proved with the modified Farkas Lemma in ring of integers.