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

Das, Sajal Kumar and Agrawal, Vinod Kumar 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 (857kB) | 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
Publication:	Computers & Electrical Engineering
Publisher:	Elsevier science
Additional Information:	Copyright of this article belongs to Elsevier science.
Department/Centre:	Division of Electrical Sciences > Computer Science & Automation
Date Deposited:	30 Aug 2010 10:34
Last Modified:	05 Mar 2019 06:56
URI:	http://eprints.iisc.ac.in/id/eprint/31578

Actions (login required)

View Item