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.
同时，提出了活的有界的WAC网系统的判定条件，进而给出了WAC网活性满足单调性的充分必要条件。
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.
同时，提出了活的有界的WAC网系统的判定条件，进而给出了WAC网活性满足单调性的充分必要条件。
应用推荐