活性和有界性是网系统的重要行为特性。
Liveness and safeness are important behavioral properties of net systems.
同时，提出了活的有界的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.
应用推荐