,

Structural analysis of t-invariance of petri nets

, и .
Electronics and Communications in Japan (Part I: Communications), 71 (6): 33--44 (1988)
DOI: 10.1002/ecja.4410710604

Аннотация

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.

тэги

Пользователи данного ресурса

  • @eperzhand

Комментарии и рецензии