Invariant-preserving Petri net reduction and conditions for invariant-existence
Data(s) |
1988
|
---|---|
Resumo |
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. |
Formato |
application/pdf |
Identificador |
http://eprints.iisc.ernet.in/31578/1/invariant.pdf 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. |
Publicador |
Elsevier science |
Relação |
http://dx.doi.org/10.1016/0045-7906(88)90012-2 http://eprints.iisc.ernet.in/31578/ |
Palavras-Chave | #Computer Science & Automation (Formerly, School of Automation) |
Tipo |
Journal Article PeerReviewed |