ePrints@IIScePrints@IISc Home | About | Browse | Latest Additions | Advanced Search | Contact | Help

A new methodology for analyzing distributed systems modeled by petri nets

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)
Official URL: http://www.informaworld.com/smpp/content~db=all~co...


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 View Item