Title :
Performance analysis of stochastic timed Petri nets using linear programming approach
Author_Institution :
Inst. Nat. de Recherche en Inf. et Autom., Sophia-Antipolis, France
fDate :
11/1/1998 12:00:00 AM
Abstract :
Stochastic timed Petri nets are a useful tool in the performance analysis of concurrent systems such as parallel computers, communication networks and flexible manufacturing systems. In general, performance measures of stochastic timed Petri nets are difficult to obtain for practical problems due to their sizes. In this paper, we provide a method to efficiently compute upper and lower bounds for the throughputs and mean token numbers for a large class of stochastic timed Petri nets. Our approach is based on uniformization technique and linear programming
Keywords :
Petri nets; concurrency theory; flexible manufacturing systems; linear programming; performance evaluation; stochastic systems; telecommunication networks; communication networks; concurrent systems; flexible manufacturing systems; linear programming; lower bounds; mean token number; parallel computers; performance analysis; performance bounds; performance measures; stochastic timed Petri nets; throughput; uniformization technique; upper bounds; Communication networks; Computer aided manufacturing; Computer networks; Concurrent computing; Flexible manufacturing systems; Performance analysis; Petri nets; Size measurement; Stochastic processes; Stochastic systems;
Journal_Title :
Software Engineering, IEEE Transactions on
