论文部分内容阅读
将Ｈｏｌｌｏｗａｙ和Ｋｒｏｇｈ关于受控标记图的禁态控制方面的结果扩展到更广泛的一类受控Ｐｅｔｒｉ网──不可控子网为前后向无冲突的受控Ｐｅｔｒｉ网，并去掉了关于初始标记和禁态规范的限制．
Extend Holloway and Krogh’s results on the forbidden control of controlled notations to a broader class of controlled Petri nets─non-controllable subnetworks are non-conflicting controlled Petri nets with forward and backward directions, And the prohibition of the norms of the restrictions.