Modeling multithreaded applications using Petri nets (2002)

by K M KAVI, A MOSHTAGHI, YI CHEN, D
Venue:International Journal of Parallel Programming