A new methodology for analyzing distributed systems modeled by petri nets

Research output: Contribution to journalArticle

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 languageEnglish (US)
Pages (from-to)153-165
Number of pages13
JournalInternational Journal of Computer Mathematics
Volume31
Issue number3-4
DOIs
StatePublished - 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

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