有界网系统

有界网系统（bounded net system）是2018年公布的计算机科学技术名词。对于一个网系统，若存在一个正整数 B，不管网系统运行到任何标识M，网中的任意库所s中的标码数M(s)都不大于B。这个网系统就称为有界网系统，B 是网的一个界。