摘要
将实数域上的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.
出处
《大学数学》
北大核心
2008年第3期99-103,共5页
College Mathematics
基金
国家自然科学基金(60673053
60603090)