1. The effect of execution policies on the semantics of stochastic Petri nets;Marsan;IEEE Trans. Softw. Engrg.,1989
2. On Petri nets with deterministic and exponentially distributed firing times;Marsan,1987
3. On the efficient construction of the tangible reachability graph of generalized stochastic Petri nets;Balbo,1987
4. A graphical Petri net tool for performance analysis;Chiola,1987
5. Compiling techniques for the analysis of stochastic Petri nets;Chiola,1988