Amparore, E. G. (2014). "A New GreatSPN GUI for GSPN Editing and CSLTA Model Checking". Quantitative Evaluation of Systems. Lecture Notes in Computer Science. Vol. 8657. pp. 170–173. doi:10.1007/978-3-319-10696-0_13. ISBN978-3-319-10695-3.
semanticscholar.org
api.semanticscholar.org
Dingle, N. J.; Knottenbelt, W. J.; Suto, T. (2009). "PIPE2". ACM SIGMETRICS Performance Evaluation Review. 36 (4): 34. doi:10.1145/1530873.1530881. S2CID3265173.