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

Das, Sajal K and Agrawal, Vinod K and Sarkar, Dilip and Patnaik, Lalit M (1988) Invariant-preserving Petri net reduction and conditions for invariant-existence. In: Computers & Electrical Engineering, 14 (3-4). pp. 75-91.

PDF invariant.pdf - Published Version Restricted to Registered users only Download (837Kb) | Request a copy

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. 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.

Item Type:	Journal Article
Additional Information:	Copyright of this article belongs to Elsevier science.
Department/Centre:	Division of Electrical Sciences > Computer Science & Automation (Formerly, School of Automation)
Date Deposited:	30 Aug 2010 10:34
Last Modified:	19 Sep 2010 06:15
URI:	http://eprints.iisc.ernet.in/id/eprint/31578

Actions (login required)

View Item