Invariant-preserving Petri net reduction and conditions for invariant-existence

Sajal K. Das, Vinod K. Agrawal, Dilip Sarkar, Lalit M. Patnaik

Research output: Contribution to journalArticle

3 Scopus citations


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. We provide invariant-preserving Petri net reduction rules followed by the conditions for the existence of invariants in various well-structured nets. If an invariant exists, it can be found directly from the net structure using the formulas derived, or by applying the existing techniques on the reduced net.

Original languageEnglish (US)
Pages (from-to)75-91
Number of pages17
JournalComputers and Electrical Engineering
Issue number3-4
StatePublished - 1988
Externally publishedYes

ASJC Scopus subject areas

  • Control and Systems Engineering
  • Computer Science(all)
  • Electrical and Electronic Engineering

Fingerprint Dive into the research topics of 'Invariant-preserving Petri net reduction and conditions for invariant-existence'. Together they form a unique fingerprint.

  • Cite this