A polynomial algorithm to performance analysis of concurrent systems via petri nets and ordinary differential equations

Zuohua Ding, Yuan Zhou, Meng Chu Zhou

Research output: Contribution to journalArticlepeer-review

29 Scopus citations

Abstract

In this paper, a new method is proposed to evaluate the performance of concurrent systems. A concurrent system consisting of multiple processes that communicate via message passing mechanisms is modeled by a Petri net, which is in turn represented by a set of ordinary differential equations (ODEs) of a restricted type. The equations describe the system state changes, and the solutions, also called state measures, can be used for the performance analysis such as estimating response time, throughput and efficiency. This method can avoid a state explosion problem encountered by the conventional methods based on Continuous-Time Markov Chains. Its application to an IBM business system is given as an example.

Original languageEnglish (US)
Article number6684591
Pages (from-to)295-308
Number of pages14
JournalIEEE Transactions on Automation Science and Engineering
Volume12
Issue number1
DOIs
StatePublished - Jan 1 2015

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering
  • Electrical and Electronic Engineering

Keywords

  • Continuous Petri net (CPN)
  • Stochastic Petri net
  • continuous-time Markov chain (CTMC)
  • discrete-event systems
  • ordinary differential equation
  • performance analysis

Fingerprint

Dive into the research topics of 'A polynomial algorithm to performance analysis of concurrent systems via petri nets and ordinary differential equations'. Together they form a unique fingerprint.

Cite this