A new methodology for analyzing distributed systems modeled by petri nets

Dilip Sarkar

doi:10.1080/00207169008803798

A new methodology for analyzing distributed systems modeled by petri nets

Dilip Sarkar

Computer Science

Research output: Contribution to journal › Article

9 Scopus citations

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.

Original language	English (US)
Pages (from-to)	153-165
Number of pages	13
Journal	International Journal of Computer Mathematics
Volume	31
Issue number	3-4
DOIs	https://doi.org/10.1080/00207169008803798
State	Published - Jan 1 1990

Keywords

Distributed systems
P-subnet
Petri net
RP-subnet
invariant
subnet

ASJC Scopus subject areas

Computer Science Applications
Computational Theory and Mathematics
Applied Mathematics

Access to Document

10.1080/00207169008803798

Fingerprint Dive into the research topics of 'A new methodology for analyzing distributed systems modeled by petri nets'. Together they form a unique fingerprint.

Cite this

Sarkar, D. (1990). A new methodology for analyzing distributed systems modeled by petri nets. International Journal of Computer Mathematics, 31(3-4), 153-165. https://doi.org/10.1080/00207169008803798

@article{aba6e37569884adca982a8d393abe31d,

title = "A new methodology for analyzing distributed systems modeled by petri nets",

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{\textquoteright} 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.",

keywords = "Distributed systems, P-subnet, Petri net, RP-subnet, invariant, subnet",

author = "Dilip Sarkar",

year = "1990",

month = jan,

day = "1",

doi = "10.1080/00207169008803798",

language = "English (US)",

volume = "31",

pages = "153--165",

journal = "International Journal of Computer Mathematics",

issn = "0020-7160",

publisher = "Taylor and Francis Ltd.",

number = "3-4",

}

TY - JOUR

T1 - A new methodology for analyzing distributed systems modeled by petri nets

AU - Sarkar, Dilip

PY - 1990/1/1

Y1 - 1990/1/1

N2 - 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.

AB - 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.

KW - Distributed systems

KW - P-subnet

KW - Petri net

KW - RP-subnet

KW - invariant

KW - subnet

UR - http://www.scopus.com/inward/record.url?scp=0002331756&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0002331756&partnerID=8YFLogxK

U2 - 10.1080/00207169008803798

DO - 10.1080/00207169008803798

M3 - Article

AN - SCOPUS:0002331756

VL - 31

SP - 153

EP - 165

JO - International Journal of Computer Mathematics

JF - International Journal of Computer Mathematics

SN - 0020-7160

IS - 3-4

ER -