A Polynomial Algorithm to Performance Analysis of Concurrent Systems Via Petr…

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 call…