Sarkar, Dilip ; Das, Sajal Kumar ; Agrawal, Vinod Kumar ; Lalit Mohan, Patnaik (1990) A new methodology for analyzing distributed systems modeled by petri nets International Journal of Computer Mathematics, 31 (3-4). pp. 153-165. ISSN 0020-7160
Full text not available from this repository.
Official URL: http://www.tandfonline.com/doi/abs/10.1080/0020716...
Related URL: http://dx.doi.org/10.1080/00207169008803798
Abstract
Distributed computing systems can be modeled adequately by Petri nets. The computation of invariants of Petri nets becomes necessary for proving the properties of modeled systems. This paper presents a two-phase, bottom-up approach for invariant computation and analysis of Petri nets. In the first phase, a newly defined subnet, called the RP-subnet, with an invariant is chosen. In the second phase, the selected RP-subnet is analyzed. Our methodology is illustrated with two examples viz., the dining philosophers' problem and the connection-disconnection phase of a transport protocol. We believe that this new method, which is computationally no worse than the existing techniques, would simplify the analysis of many practical distributed systems.
| Item Type: | Article |
|---|---|
| Source: | Copyright of this article belongs to Taylor and Francis Group. |
| ID Code: | 60302 |
| Deposited On: | 08 Sep 2011 13:12 |
| Last Modified: | 08 Sep 2011 13:12 |
Repository Staff Only: item control page
