The Community for Technology Leaders
Green Image
<p>A general iterative technique for approximate throughput computation of stochastic strongly connected marked graphs is presented. It generalizes a previous technique based on net decomposition through a single input-single output cut, allowing the split of the model through any cut. The approach has two basic foundations. First, a deep understanding of the qualitative behavior of marked graphs leads to a general decomposition technique. Second, after the decomposition phase, an iterative response time approximation method is applied for the computation of the throughput. Experimental results on several examples generally have an error of less than 3%. The state space is usually reduced by more than one order of magnitude; therefore, the analysis of otherwise intractable systems is possible.</p>
Petri nets; stochastic processes; performance evaluation; approximate throughput computation; stochastic marked graphs; iterative technique; stochastic strongly connected marked graphs; net decomposition; single input-single output cut; qualitative behavior; general decomposition technique; iterative response time approximation method; error; state space; intractable systems; stochastic Petri net models

J. Campos, H. Jungnitz, M. Silva and J. Colom, "Approximate Throughput Computation of Stochastic Marked Graphs," in IEEE Transactions on Software Engineering, vol. 20, no. , pp. 526-535, 1994.
95 ms
(Ver 3.3 (11022016))