1. Lecture Notes in Computer Science;WMP Aalst,2013
2. Lecture Notes in Computer Science;P Cenciarelli,1999
3. Dingle, N.J., Knottenbelt, W.J., Suto, T.: PIPE2: A tool for the performance evaluation of generalised stochastic Petri nets. SIGMETRICS 36(4), 34–39 (2009)
4. de Carvalho Gomes, P.: SyncTAsk VErifier (2015).
http://www.csc.kth.se/~pedrodcg/stave
5. de Carvalho Gomes, P., Gurov, D., Huisman, M.: Algorithmic verification of multithreaded programs with condition variables. Technical report, KTH Royal Institute of Technology, October 2015.
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-176006