For the most recent entries see the Petri Nets Newsletter.

Invariant-Preserving Petri Net Reduction and Conditions for Invariant-Existence.

Das, S.K.; Agrawal, V.K.; Sarkar, D.; Patnaik, L.M.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography