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.
invariant.pdf - Published Version
Restricted to Registered users only
Download (837Kb) | Request a copy
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|
Actions (login required)