In: 97: Proceedings of the Workshop on Petri Nets in System Engineering (PNSE'97), Hamburg, September 25-26, 1997 / Farwer, B.; Moldt, D.; Stehr, M.-O.: Report FBI-HH-B-205, pages 111-122. Universität Hamburg, September 1997.
Abstract: The applicability of structural techniques for liveness analysis, particularly those based on the rank of the token-flow matrix, can benefit from the use of transformations and decompositions, the same as state space analysis. Nevertheless, since the aim is different, the most effective techniques are accordingly different, and usually require good structural properties of the target and/or original nets, for what the structure theory for some net subclasses is essential.