GreatSPN 1.7: graphical editor and analyzer for timed and stochastic Petri nets. (1995)

by G Chiola, G Franceschinis, R Gaeta, M Ribaudo
Venue:Performance Evaluation,