摘要
Petri网中的弱公平但不公平的关系称为亚公平公系 ,由此可引伸出亚公平Petri网和亚公平网等概念。本文证明了一个重要性质 :亚公平Petri网中一定存在着公平关系 ,并在此基础上讨论了亚公平网中的公平分支划分。此外 。
A relation that is weak fair but not fair in a Petri net is called meta fair relation.Concepts of meta fair Petri net and meta fair net can also be obtained.An important property that there must be exist fair relation in a Petri net if it is meta fair is presented in this paper.According to this,partition of fair components for a meta fair net is discussed.Moreover,the necessary and sufficient condition for a net to be meta fair is simplified based on the primitively repetitive vector set of the net.
出处
《山东科技大学学报（自然科学版）》
CAS
2001年第1期4-9,12,共7页
Journal of Shandong University of Science and Technology(Natural Science)
