Modeling multithreaded applications using Petri nets (2002)

by K M Kavi, A Moshtaghi, D Chen
Venue:International Journal of Parallel Programming