In: Computers & Electrical Engineering, Vol. 14, No. 3-4, pages 75-91. 1988.
Abstract: The use of invariants is an important tool for analysis of distributed and concurrent systems modeled by Petri nets. For a large practical system, the computation of desired invariants by the existing techniques is a time-consuming task. This paper proposes a theoretical foundation for simplified computation of desired invariants. The authors provide invariant-preserving Petri net reduction rules followed by the conditions for the existence of invariants in various well-structured nets.