Modeling Multithreaded Applications Using Petri Nets. - Krishna M. Kavi; Alireza Moshtaghi; Deng-Jyi Chen (Int. J. Parallel Program., 2002)