Sarkar, Dilip and Das, Sajal Kumar and Agrawal, Vinod Kumar and Patnaik, Lalit Mohan (1990) A new methodology for analyzing distributed systems modeled by petri nets. In: International Journal of Computer Mathematics, 31 (3-4). pp. 153-165.
Full text not available from this repository. (Request a copy)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: | Journal Article |
|---|---|
| Publication: | International Journal of Computer Mathematics |
| Publisher: | Taylor and Francis Group |
| Additional Information: | Copyright of this article belongs to Taylor and Francis Group. |
| Keywords: | Distributed systems;Petri net;subnet;P-subnet;RP-subnet; invariant. |
| Department/Centre: | Division of Electrical Sciences > Computer Science & Automation |
| Date Deposited: | 02 Feb 2011 11:24 |
| Last Modified: | 02 Feb 2011 11:24 |
| URI: | http://eprints.iisc.ac.in/id/eprint/35253 |
Actions (login required)
 |
View Item |
