In: Australian Telecommunication Research ATR, No. 21, pages 37-46. 1987.
Abstract: This paper reviews some algebraic analysis techniques which are known for Petri nets, and discusses an extension to invariants analysis for place/transition nets. This extension enables properties of parts of the reachability set of the net to be identified.