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 language | English (US) |
---|---|
Article number | 6684591 |
Pages (from-to) | 295-308 |
Number of pages | 14 |
Journal | IEEE Transactions on Automation Science and Engineering |
Volume | 12 |
Issue number | 1 |
DOIs | |
State | Published - 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