whl-hl

摘要： 一 网与子网definition 1：网N = (S,T;F)1）S_元，库所，位置 -> place ->　圆圈2）T_元，变迁 ->　transition -> 矩形3）流关系 ->　flow relation -> 有向边definition 2：x的前集 or 输入集x的后集 or 输出集x的外延definition 3：1）纯网（pure net）:不含自环的网2）简单网（sample net）3）T-图（T-graph）4）S-图（S-graph）5）自由选择网（free-choice net）6）扩充的自由选择网（extended free-c 阅读全文