Alain Jean-Marie;Sophie Lefebvre-Barbaroux;Zhen Liu
-;-;-
Performance Analysis of Stochastic Timed Petri Nets Using Linear Programming Approach
IEEE Transactions on Software Engineering