加权非对称选择网活性和有界性分析

On Liveness and Boundedness of Weighted Asymmetric Choice Nets

给出了 Petri网系统的一个重要子类 ,即加权非对称选择网 (weighted asymmetric choice net,简称 WAC网 )系统活性的一个充分条件和一个必要条件 ;同时 ,提出了活的有界的 WAC网系统的判定条件 ,进而给出了WAC网活性满足单调性的充分必要条件 .

In this paper, a sufficient condition and a necessary condition on liveness for Weighted Asymmetric Choice (WAC) net system which is an important subclass of Petri net system are presented. Moreover, a judgement condition for live and bound WAC net system is given, and the sufficient and necessary condition for WAC net liveness monotonicity is shown.