Аннотация
This paper studies the t-invariance of a Petri net by introducing two concepts of the rigidity for its existence and the marked-graph-reducibility for its efficient computation. Some characteristics and composition rules of rigidly connected Petri nets are given and an algorithm is designed to determine efficiently t-invariants of a marked-graph-reducible Petri net.
Пользователи данного ресурса
Пожалуйста,
войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)